इंडेंटेशन नियम के साथ कौन सा मैच यहां खेल रहा है?

Question

यह खरोज ठीक काम करता है:

match 5 with 
| k when k < 0 -> 
    "value is negative" 
| k -> "value is non-negative" 
|> printfn "%s" 

लेकिन यह नहीं करता है:

match 5 with 
| k when k < 0 -> 
    "value is negative" 
| k -> 
    "value is non-negative" 
|> printfn "%s" 

कौन सा एफ # खरोज नियम खेल में है?

Answer 1

यह match के तहत इंडेंटेशन का संयोजन है और ऑपरेटरों के लिए विशेष मामला है।

पहले,match के तहत, प्रत्येक मामले का शरीर ऊर्ध्वाधर रेखा के रूप में अब तक शुरू हो सकता है। उदाहरण के लिए, इस काम करता है:

match 5 with 
| x -> 
"some value" 

दूसरा, वहाँ कि एक नई लाइन की शुरुआत में दिखाई ऑपरेटरों के लिए एक विशेष ऑफसेट नियम है: इस तरह के ऑपरेटरों चौड़ाई अप करने के लिए पिछले लाइन के बाईं ओर हो सकता है ऑपरेटर प्लस वन के। उदाहरण के लिए, इन सभी हूबहू काम:

let x = 
    "abc" 
    |> printf "%s" 

let y = 
     "abc" 
    |> printf "%s" 

let z = 
"abc" 
    |> printf "%s" 

तो, अपने दूसरे उदाहरण में, match के दूसरे मामले printfn लाइन, क्योंकि आगे पाइप ऑपरेटर की शुरुआत से बाईं ओर स्वीकार्य सहिष्णुता के भीतर है शामिल पहली पंक्ति

आप स्ट्रिंग सही करने के लिए "value is non-negative" सिर्फ दो रिक्त स्थान ले जाते हैं, आगे पाइप सहिष्णुता के भीतर अब और नहीं होगा, और इसलिए printfn लाइन मैच के बाहर होने के रूप में व्याख्या की जाएगी।

match 5 with 
| k when k < 0 -> 
    "value is negative" 
| k -> 
    "value is non-negative" 
|> printfn "%s" 

अपने पहले उदाहरण में, यह, सही करने के लिए 5 रिक्त स्थान ले जाया गया ताकि भी काम करता है है।