Media Summary: How to define modules with structures 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 ...
Scope And Opening Ocaml Programming Chapter 5 Video 6 - Detailed Analysis & Overview
How to define modules with structures 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 ... The tradeoffs between data structure operations that raise exceptions vs. returning options, and some application operators that ... Structural induction can be used to prove the correctness of functions on lists Textbook: The `include` statement enables re-use of implementation and interface code as a kind of "smart copy and paste" Textbook: ...
A template for function specifications Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of A proof by structural induction that length distributes over append Textbook: Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... Defining module types with signatures Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook:
