两个简单的 F# 问题

Question

我想理解 F# 的两个片段，但不知道该谷歌什么。第一：

let ``1+2`` () = .... 

我猜这只是意味着“将表达式转换为标识符”？但如果我想引用这个功能，它叫什么？

其次，字符^出现在类型中时意味着什么？我发现有几次提到它，但解释总是只是说“类型是这个”，而不是“它与没有 1^1 的类型不同......”。例如：

let inline blah x y = x+y;;
val inline blah :
   ^a ->  ^b ->  ^c
    when ( ^a or  ^b) : (static member ( + ) :  ^a *  ^b ->  ^c)

非常感谢。

Answer 1

1. 我可能会称之为“引用标识符” http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/spec.html#_Toc270597387
2. “静态解析类型参数” http://msdn.microsoft .com/en-us/library/dd548046%28VS.100%29.aspx

Answer 2

反引号语法确实只是将任意字符“引用”到标识符中的一种方法，我不确定它是否有名称。它通常用于例如

let ``This Identifier Contains Spaces`` = 42

或

foo.``member``(42)  // 'member' is an F# keyword, but maybe it was the name of some 
                    // method from C# code you're using, so here's a way to call it

克拉表示静态解析的类型参数：

http:// /msdn.microsoft.com/en-us/library/dd548046.aspx

用于临时重载/通用性。