Media Summary: The tradeoffs between data structure operations that raise exceptions vs. returning options, and some Defining module types with signatures Textbook: Functions can take other functions as input and return them as output, making them "higher order". Textbook: ...
Application Operators Ocaml Programming Chapter - Detailed Analysis & Overview
The tradeoffs between data structure operations that raise exceptions vs. returning options, and some Defining module types with signatures Textbook: Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... Compilers translate code from one language to another. Interpreters execute code. Virtual machines and just-in-time compilation ... Implementing the type checker for a simple language: constants, variables, and binary The syntax and semantics of ref cells Textbook:
Implementing the correct "order of operations" for addition and multiplication in the calculator interpreter Textbook: ... HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook:
