Media Summary: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Examples of pattern matching with lists, records, and tuples. Textbook: Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ...
Filter Ocaml Programming Chapter 4 Video 6 - Detailed Analysis & Overview
How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Examples of pattern matching with lists, records, and tuples. Textbook: Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... The `map` functional transforms elements of a list. Textbook: Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ...
Specifying a data abstraction's interface — the client's perspective Textbook: How to combine elements of a list, as a warmup for the `fold` functional. Textbook: How `let` expressions create scope and shadowing. Textbook: How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: How to implement a Map ADT with association lists as the rep type Textbook: