Saturday, February 24, 2018

User-Defined Types



We've seen OCaml's type syntax because the interpreter uses it to tell you the type of every value, but due to type inference we typically don't have to write a type expression ourselves. But actually there are several reasons to use the type sublanguage (as you'll see when we come to modules).

No comments:

The Y Combinator (Slight Return)

Tiger got to hunt, Bird got to fly; Lisper got to sit and wonder, (Y (Y Y))? Tiger got to sleep, Bird got to land; Lisper got to tell hims...