Filter Ocaml Programming Chapter 4 Video 6

Summary

How to implement the `map` functional. 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 ... How to combine elements of a list, as a warmup for the `fold` functional. Textbook: cs3110.github.io/textbook. My web page: imperial.ac.uk/people/n.sadawi. This tutorial first shows how tuples and records can be defined, used, and deconstructed. This is followed by a lightweight ... Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... What information should documentation provide vs reveal? Good specifications abstract by hiding information about ... Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... In this tutorial, I will show the basic ideas of immutable lists (cons lists), as well as polymorphic functions that operate over lists. Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ...