Abstraction Functions Ocaml Programming Chapter 6 Video 7

The

Abstraction functions

The correctness of a data-

Specifying a data

What information should documentation provide vs reveal? Good specifications

Drilling down into the parts of a

The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ...

A template for

The fields of records can be marked as mutable, providing an alternative to refs. In fact, refs are implemented with mutable fields.

Developing a second implementation of a data

"Bugs" are not the best term for thinking about errors in programs. "Faults" and "failures" are better. Textbook: ...

Representation invariants can be implemented and used to

Bisect is a tool for automated glass-box testing and statement coverage of

A notion of "behavioral equality" is at the heart of reasoning about the correctness of functional programs Textbook: ...

Natural numbers can be represented as an

Developing an implementation of a data

How to implement a

How to implement the `filter` functional on lists. Textbook: https://cs3110.github.io/textbook.

Debugging is a dirty job, but you've gotta do it. Here are some tips. Textbook: https://cs3110.github.io/textbook.

Examples of pattern matching with lists, records, and tuples. Textbook: https://cs3110.github.io/textbook.