Ocaml Tutorial 13 33 A

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

The types of function values. Textbook: https://cs3110.github.io/textbook.

Using pattern matching to access the pieces of a variant. Textbook: https://cs3110.github.io/textbook.

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

All code found here: https://github.com/AlexanderFeldstein/VideoTutorials/tree/master/OcamlExamples.

In this

The basics of

More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ...

The basics of

Modifying the parser and AST to incorporate type annotations on `let` bound variables Textbook: https://cs3110.github.io/textbook.

Distributing a module and its type into two specially-named files results in a compilation unit, which is how the standard library ...

My web page: www.imperial.ac.uk/people/n.sadawi Useful links: ...

Type systems designed to track the side-effects of expressions have been around for many years but they have yet to ...