Media Summary: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Functors, which is a funny name for an elegant concept: Defining a persistent stack data structure as an
Operators As Functions Ocaml Programming - Detailed Analysis & Overview
How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Functors, which is a funny name for an elegant concept: Defining a persistent stack data structure as an Syntax, semantics, idioms, libraries, tools. Textbook: Achieving polymorphism for `let` expressions in HM type inference leads to "type schemes", which universally quantify over type ... The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ...
How to implement the `map` functional. Textbook: How to make variants be recursive, and how to parameterize them on other types. Textbook:
