文字屬性不工作

Question

閱讀Chris的答案F# - public literal，並在http://blogs.msdn.com/b/chrsmith/archive/2008/10/03/f-zen-the-literal-attribute.aspx博客文章之後，我不知道爲什麼下面不工作：

[<Literal>] 
let one = 1 

[<Literal>] 
let two = 2 

let trymatch x = 
    match x with 
    | one -> printfn "%A" one 
    | two -> printfn "%A" two 
    | _ -> printfn "none" 


trymatch 3 

這樣可以使印刷‘3’，雖然我覺得它不應該。我在這裏看不到什麼？

Answer 1

我認爲文字需要大寫。以下工作正常：

[<Literal>] 
let One = 1 
[<Literal>] 
let Two = 2 

let trymatch x = 
    match x with 
    | One -> printfn "%A" One 
    | Two -> printfn "%A" Two 
    | _ -> printfn "none" 


trymatch 3 

另外，如果你想爲這一個很好的通用解決方案，而無需使用文字，你可以定義參數化的主動模式是這樣的：

let (|Equals|_|) expected actual = 
    if actual = expected then Some() else None 

然後就是寫

let one = 1 
let two = 2 

let trymatch x = 
    match x with 
    | Equals one -> printfn "%A" one 
    | Equals two -> printfn "%A" two 
    | _ -> printfn "none" 

Answer 2

不要問我爲什麼，但它的工作原理，當你寫你的文字大寫：

[<Literal>] 
let One = 1 
[<Literal>] 
let Two = 2 

let trymatch (x:int) = 
    match x with 
    | One -> printfn "%A" One 
    | Two -> printfn "%A" Two 
    | _ -> printfn "none" 

trymatch 3 

Answer 3

此外，如果你不希望有大寫文字，你可以把它們放在一個模塊（這裏命名常數）中：

module Const = 
    [<Literal>] 
    let one = 1 
    [<Literal>] 
    let two = 2 

let trymatch x = 
    match x with 
    | Const.one -> printfn "%A" Const.one 
    | Const.two -> printfn "%A" Const.two 
    | _ -> printfn "none" 

trymatch 3 

Answer 4

其他的答案是正確的 - 你必須以大寫字母開頭的標識符。見7.1.2 of the spec（命名的模式），其中指出：

如果長IDENT是不以大寫字符然後它總是被解釋爲一個可變結合圖案開始的單個標識符和表示一個變量受該模式約束