Mutable Fields Ocaml Programming Chapter 7 Video 6

Summary

A deep dive into implementing lists with Developing a second implementation of a data abstraction, as an ongoing example of the documentation that implementers need ... The second part of a deep dive into implementing lists with A template for function specifications Textbook: cs3110.github.io/textbook. Abstraction functions are...abstract. So how could you implement them? Conversion to strings is an example. Textbook: ... References, or ref cells, are pointers to typed locations in memory. They enable imperative 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. 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 ... How to implement a function that counts up with every invocation, using references Textbook: cs3110.github.io/textbook. My web page: imperial.ac.uk/people/n.sadawi Useful links: ...