Abstract Types Ocaml Programming Chapter 5 Video 12

Summary

The syntax and semantics of module How to define modules with structures Textbook: cs3110.github.io/textbook. The concerns and benefits of modular Functors, which is a funny name for an elegant concept: The tradeoffs between data structure operations that raise exceptions vs. returning options, and some application operators that ... Comparing the difference between `open` and `include` in modules Textbook: cs3110.github.io/textbook. How to implement a function that counts up with every invocation, using references Textbook: cs3110.github.io/textbook. Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... How to implement queues functionally, and how to improve efficiency by using two lists instead of one. Note that the textbook now ... Additional static checks performed by the compiler on pattern matches: exhaustiveness and unused branches. Textbook: ...