Compilation Units Ocaml Programming Chapter 5 Video 13

Distributing a module and its type into two specially-named files results in a

To use the toplevel effectively with modules, three new directives are needed: `#directory`, `#load`, and `#require`. Textbook: ...

Comparing the difference between `open` and `include` in modules Textbook: https://cs3110.github.io/textbook.

Defining a persistent stack data structure as an

Functors, which is a funny name for an elegant concept: functions on modules Textbook: https://cs3110.github.io/textbook.

The `include` statement enables re-use of implementation and interface code as a kind of "smart copy and paste" Textbook: ...

How to implement a function that counts up with every invocation, using references Textbook: https://cs3110.github.io/textbook.

The concerns and benefits of modular

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

How to implement queues functionally, and how to improve efficiency by using two lists instead of one. Note that the textbook now ...

Using abstract types to achieve encapsulation in data structures Textbook: https://cs3110.github.io/textbook.

My web page: www.imperial.ac.uk/people/n.sadawi.

In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as polymorphic functions that operate over lists.

The basics of

"Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ...

OCaml

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

Definitions of module types for the stack and queue modules developed in previous