शाब्दिक काम नहीं कर रहा

Question

गुण F# - public literal को क्रिस 'जवाब और http://blogs.msdn.com/b/chrsmith/archive/2008/10/03/f-zen-the-literal-attribute.aspx पर ब्लॉग पोस्ट को पढ़ने के बाद मैं क्यों निम्नलिखित काम नहीं कर रहा नहीं मिलता है नहीं करना चाहिए। यह क्या है कि मैं यहाँ नहीं देखता?

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 (नाम पैटर्न), जिसमें कहा गया है देखें कि:

तो लंबे समय से अध्यक्ष के लिए एक एकल पहचानकर्ता कि एक अपरकेस चरित्र तो यह हमेशा एक चर बाध्यकारी पैटर्न के रूप में व्याख्या की है से शुरू नहीं होता है और एक चर का प्रतिनिधित्व करता है कि पैटर्न