Keywords that introduce blocks bind more tightly thanfunction application.Sof let x
is the same asf (let x)
andf if b then p else q
is the same asf (if b then p else q)
.
Block keywords bind more tightly thandelayed computationssyntax. So'let x''
is the same as_ -> let x
and!if b then p else q
is the same as(if b then p else q) ()
.
Blocks eagerly consume expressions, soif b then p else q + r
is the same asif b then p else (q + r)
.