Lambda is fun! Lambda is certainly fun, but what I mean here is that the λ in lambda calculus is similar to the expression fun in OCaml. Recall that in lambda calculus, we have function expressions and function applications:

1 2 |
λx.λy.x+y (*A function expression*) λx.λy.x+y 3 4 (*A function application*) |

In OCaml, you can express the same with –fun:

1 2 |
fun x y -> x + y (fun x y -> x + y) 3 4 |

Each term separated by a space…