Media Summary: How to define some common operators for function application, including the pipeline A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... How to implement a function that counts up with every invocation, using references Textbook:
If Expressions Ocaml Programming Chapter - Detailed Analysis & Overview
How to define some common operators for function application, including the pipeline A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ... How to implement a function that counts up with every invocation, using references Textbook: Applying functions to arguments. Textbook: Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ...
Application of functions to "too few" of arguments, and syntactic sugar. Textbook: How to raise exceptions, which are really variants. Textbook: Giving functions names with `let` definitions. Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: How to infer the type of anonymous functions (lambdas) in HM type inference Textbook:
