Implementing Sets As Lists Ocaml Programming Chapter 6 Video 5

Developing an

Developing a second

How to

Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ...

Defining a persistent stack data structure as an

Structural induction can be used to prove the correctness of functions on

Bringing module definitions into scope with `open` Textbook: https://cs3110.github.io/textbook.

A template for function specifications Textbook: https://cs3110.github.io/textbook.

How to

Abstraction functions are...abstract. So how could you

Specifying a data abstraction's interface — the client's perspective Textbook: https://cs3110.github.io/textbook.

How to

The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ...

How to

Defining module types with signatures Textbook: https://cs3110.github.io/textbook.

The basics of

Comparing the difference between `open` and `include` in modules Textbook: https://cs3110.github.io/textbook.

The basics of