Scope And Opening Ocaml Programming Chapter 5 Video 6

Summary

Bringing module definitions into The concerns and benefits of modular How to define modules with structures Textbook: cs3110.github.io/textbook. Comparing the difference between ` How to implement queues functionally, and how to improve efficiency by using two lists instead of one. Note that the textbook now ... Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... Defining module types with signatures Textbook: cs3110.github.io/textbook. The `include` statement enables re-use of implementation and interface code as a kind of "smart copy and paste" Textbook: ... Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... The tradeoffs between data structure operations that raise exceptions vs. returning options, and some application operators that ... A template for function specifications Textbook: cs3110.github.io/textbook. Proof by induction of correctness of a function that computes the summation of an integer sequence Textbook: ...