Filter Ocaml Programming Chapter 4 Video 6

Summary

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: cs3110.github.io/textbook. Type systems designed to track the side-effects of expressions have been around for many years but they have yet to ... The `map` functional transforms elements of a list. Textbook: cs3110.github.io/textbook. How to define some common operators for function application, including the pipeline operator Textbook: ... Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... This tutorial first shows how tuples and records can be defined, used, and deconstructed. This is followed by a lightweight ... Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... My web page: imperial.ac.uk/people/n.sadawi. 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 ... The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ...