Filter Ocaml Programming Chapter 4 Video 6

Summary

Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: cs3110.github.io/textbook. Specifying a data abstraction's interface — the client's perspective Textbook: cs3110.github.io/textbook. A template for function specifications Textbook: cs3110.github.io/textbook. The `map` functional transforms elements of a list. Textbook: cs3110.github.io/textbook. Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ... Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... Validation is about building confidence in the correct behavior of a Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... How to combine elements of a list, as a warmup for the `fold` functional. Textbook: cs3110.github.io/textbook. What information should documentation provide vs reveal? Good specifications abstract by hiding information about ...