Lassen Bindungen in Do-Notation ohne Layout "in"?

Question

In Haskell können Sie

main = do 
    let x = 5 
    print x 

sagen, und dies wird nicht kompilieren:

main = do 
    let x = 5 
    in print x 

Aber wenn ich explizites Layout verwenden, dies nicht kompiliert:

main = do { 
    let x = 5; 
    print x; 
    } 

aber das funktioniert :

Bin ich richtig? Gibt es einen Ort, an dem ich mehr über explizites Layout lesen und Notation machen und lassen kann? Section 3.14 of the Haskell 98 report scheint mir zu behaupten, dass mein drittes Beispiel funktionieren sollte, wie es sagt, ich

do { let DECLS; stmts } 

schreiben kann und es übersetzt

let DECLS in do { stmts } 

Answer 1

Die normative Antwort auf Ihre Frage in der Haskell Berichts zu finden Beschreibung der layout rule.

Kurz gesagt, müssen Sie ein Semikolon zwischen Ihrem Let-Block und der nächsten Anweisung des Do-Blocks platzieren. Dieses Semikolon muss außerhalb des Blockes liegen. Wenn Sie nicht Nutzung Layout für die let Block tun , das ist einfach nur sagen:

let {x = 5}; 

Wenn Sie jedoch Verwendung Layout für die let Block tun , dann besteht der einzige Weg, um den let Block schließen ist, eine Zeile in einer Spalte vor der Spalte von x zu beginnen. Das heißt also, dass Sie so etwas schreiben müßten:

main = do { 
    let x = 5 
    ; print x; 
} 

Oh, und für Ihr anderes Beispiel wieder mit Layout ein Semikolon vor den in eingefügt wird immer, so dass Ihr Code desugars zu:

main = do { 
    let {x = 5 
    }; 
    in print x 
}