Let Polymorphism Ocaml Programming Chapter - Latest Information & Updates 2026

Achieving

How to add inference of `

HM type inference of `

Functions that are parameterized on types. Textbook: https://cs3110.github.io/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: https://cs3110.github.io/textbook.

Defining the type system for a simple language Textbook: https://cs3110.github.io/textbook.

Defining a small-step substitution-model semantics for a core fragment of

How to infer the type of `if` expressions in HM type inference Textbook: https://cs3110.github.io/textbook.

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: https://cs3110.github.io/textbook.

How to infer the type of anonymous functions (lambdas) in HM type inference Textbook: https://cs3110.github.io/textbook.

This lecture is about lead

Implementing the type checker for a simple language: constants, variables, and binary operators Textbook: ...