Filter Ocaml Programming Chapter 4 Video 6

Summary

Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ... Specifying a data abstraction's interface — the client's perspective Textbook: cs3110.github.io/textbook. How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: cs3110.github.io/textbook. The `map` functional transforms elements of a list. Textbook: cs3110.github.io/textbook. A template for function specifications Textbook: cs3110.github.io/textbook. Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... Some links available below ⬇️ Abstract In this talk I would to introduce the QCheck-STM plugin for ORTAC, a framework for ... Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... Developing an implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: cs3110.github.io/textbook. Functional data structure do not use imperative features, hence are persistent rather than ephemeral Textbook: ... More reasons you should learn functional