Signed-off-by: Jim Pryor <profjim@jimpryor.net>
It's easy to be lulled into thinking this is a kind of imperative construction. *But it's not!* It's really just a shorthand for the compound "let"-expressions we've already been looking at, taking the maximum syntactically permissible scope. (Compare the "dot" convention in the lambda calculus, discussed above.)
It's easy to be lulled into thinking this is a kind of imperative construction. *But it's not!* It's really just a shorthand for the compound "let"-expressions we've already been looking at, taking the maximum syntactically permissible scope. (Compare the "dot" convention in the lambda calculus, discussed above.)
9. Some shorthand
OCaml permits you to abbreviate:
9. Some shorthand
OCaml permits you to abbreviate:
or in other words, interpret the rest of the file or interactive session with `bar` assigned the function `(lambda (x) B)`.
or in other words, interpret the rest of the file or interactive session with `bar` assigned the function `(lambda (x) B)`.