Welche Übereinstimmung mit der Einrückungsregel spielt hier eine Rolle?

Question

Diese Vertiefung funktioniert:

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

aber nicht:

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

Welche F Regel # Vertiefung im Spiel ist?

Answer 1

Dies ist eine Kombination von Eindruck unter match und Sonderfall für Betreiber.

Zuerst, unter match, kann der Körper von jedem Fall so weit links wie die vertikale Linie beginnen. Zum Beispiel, das funktioniert:

match 5 with 
| x -> 
"some value" 

Zweitens gibt es eine spezielle Offset-Regel für die Betreiber, die am Anfang einer neuen Zeile angezeigt werden: solche Operatoren links von der vorherige Zeile bis zur Breite sein können des Bedieners plus eins. Beispielsweise arbeiten diese alle gleich:

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

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

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

Also, in Ihrem zweiten Beispiel ist der zweite Fall der match umfasst die printfn Linie, weil die Vorlaufleitung Betreiber innerhalb der akzeptablen Toleranz nach links von Anfang an ist der die erste Zeile.

Wenn Sie die Zeichenfolge "value is non-negative" nur zwei Stellen nach rechts bewegen, wird das vordere Rohr nicht mehr innerhalb der Toleranz, und so die printfn Linie wird als außerhalb des Spiels interpretiert werden.

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

In Ihrem ersten Beispiel wird es 5 Plätze nach rechts verschoben, so dass das auch funktioniert.