Refs Ocaml Programming Chapter 7 Net Worth 2026: Salary, Income & Wealth

References

The syntax and semantics of

How to implement a function that counts up with every invocation, using

OCaml

A deep dive into implementing lists with mutable fields Textbook: https://cs3110.github.io/textbook.

OCaml

The fields of records can be marked as mutable, providing an alternative to

How to raise exceptions, which are really variants. Textbook: https://cs3110.github.io/textbook.

The second part of a deep dive into implementing lists with mutable fields. Textbook: https://cs3110.github.io/textbook.

References

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

HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ...

How to implement a Map ADT with association lists as the rep type Textbook: https://cs3110.github.io/textbook.