Static Checking Of Pattern Matching Ocaml Programming Chapter 3 Video 12

Additional

Examples of

Using

How to define some common operators for function application, including the pipeline operator Textbook: ...

More about using

The formal syntax and semantics of

The `function` keyword provides helpful syntactic sugar for

The grammar of a language can be described in a notation known as "Backus-Naur Form" (BNF). The input to Menhir (or ...

The formal syntax and semantics of variants. Textbook: https://cs3110.github.io/textbook.

The basics of

Examples of variants, which along with records are the primary kind of user-defined data types in

How to make functions be recursive. Textbook: https://cs3110.github.io/textbook.

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

let` expressions Textbook: https://cs3110.github.io/textbook.

The formal syntax and semantics of lists. Textbook: https://cs3110.github.io/textbook.

A comparison of the cons `::` and append `@` operators. Textbook: https://cs3110.github.io/textbook.

if-then-else` expressions. Textbook: https://cs3110.github.io/textbook.

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: https://cs3110.github.io/textbook.

How to handle exceptions with `try` and