Cons Vs Append Ocaml Programming Chapter 3 Video 10

A comparison of the

Is it going to be

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

The basics of

As we're putting our programs and functions together there is an option of using

How to make variants be recursive, and how to parameterize them on other types. Textbook: https://cs3110.github.io/textbook.

OCaml

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

Formal syntax and semantics of

More about records

Lists

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

OCaml

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

A proof by structural induction that length distributes over

The `function` keyword provides helpful syntactic sugar for pattern matching. Textbook: https://cs3110.github.io/textbook.

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

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