Implementing Sets As Lists Ocaml Programming Chapter 6 Video 5

Summary

Structural induction can be used to prove the correctness of functions on Comparing the difference between `open` and `include` in modules Textbook: cs3110.github.io/textbook. Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... Bringing module definitions into scope with `open` Textbook: cs3110.github.io/textbook. Specifying a data abstraction's interface — the client's perspective Textbook: cs3110.github.io/textbook. Natural numbers can be represented as an How to define modules with structures Textbook: cs3110.github.io/textbook. A comparison of inductive proofs and recursive programs Textbook: cs3110.github.io/textbook. Functors, which is a funny name for an elegant concept: functions on modules Textbook: cs3110.github.io/textbook. A template for function specifications Textbook: cs3110.github.io/textbook. What information should documentation provide vs reveal? Good specifications abstract by hiding information about ...