Media Summary: Functions that are parameterized on types. Textbook: Defining the type system for a simple language Textbook: In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as
Let Polymorphism Ocaml Programming Chapter - Detailed Analysis & Overview
Functions that are parameterized on types. Textbook: Defining the type system for a simple language Textbook: In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as Comparing the difference between `open` and `include` in modules Textbook: How to infer the type of `if` expressions in HM type inference Textbook: Implementing the type checker for a simple language: `
How to infer the type of anonymous functions (lambdas) in HM type inference Textbook: Implementing the type checker for a simple language: constants, variables, and binary operators Textbook: ... Application of functions to "too few" of arguments, and syntactic sugar. Textbook: How to implement a function that counts up with every invocation, using references Textbook: Using pattern matching to access the pieces of a variant. Textbook: Defining a small-step substitution-model semantics for a core fragment of
References, or ref cells, are pointers to typed locations in memory. They enable imperative How to define some common operators for function application, including the pipeline operator Textbook: ...
