Media Summary: How to implement a function that counts up with every invocation, using references Textbook: Examples of variants, which along with records are the primary kind of user- What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...
Let Definitions Ocaml Programming Chapter - Detailed Analysis & Overview
How to implement a function that counts up with every invocation, using references Textbook: Examples of variants, which along with records are the primary kind of user- What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... Comparing the difference between `open` and `include` in modules Textbook: Defining the type system for a simple language Textbook: Defining module types with signatures Textbook:
Applying functions to arguments. Textbook: In this talk, we present our work on a syntax Defining and implementing the big-step substitution-model semantics of a simple language Textbook: ... Defining a small-step substitution-model semantics for a core fragment of
