Modular Programming Ocaml Programming Chapter - Latest Information & Updates 2026

The concerns and benefits of

The basics of

Defining module types with signatures Textbook: https://cs3110.github.io/textbook.

In this lesson, I look at some of the ideas and the history of

Functions can take other functions as input and return them as output, making them "higher order". Textbook: ...

How to define

To use the toplevel effectively with

Definitions of module types for the stack and queue

Effect handlers have been gathering momentum as a mechanism for

The syntax and semantics of module types, especially as used in module type annotations: signatures must match, and ...

Defining a persistent stack data structure as an

Comparing the difference between `open` and `include` in

How to make variants be recursive, and how to parameterize them on other types. Textbook: https://cs3110.github.io/textbook.