Media Summary: How to define some common operators for function application, including the pipeline operator Textbook: ... In this tutorial, I will show the basic ideas of immutable How to make variants be recursive, and how to parameterize them on other types. Textbook:

Lists Ocaml Programming Chapter 3 - Detailed Analysis & Overview

How to define some common operators for function application, including the pipeline operator Textbook: ... In this tutorial, I will show the basic ideas of immutable How to make variants be recursive, and how to parameterize them on other types. Textbook: More about records vs. variants, and how variants can combine "one of" vs "each of" data. Textbook: ... A comparison of the cons `::` and append `@` operators. Textbook: Using pattern matching to access the pieces of a variant. Textbook:

The formal syntax and semantics of variants. Textbook: Examples of variants, which along with records are the primary kind of user-defined data types in The `option` type, which represents optional data. It's a principled way to avoid the plague of `null`. Textbook: ...

Photo Gallery

Lists | OCaml Programming | Chapter 3 Video 1
Pattern Matching with Lists | OCaml Programming | Chapter 3 Video 8
List Syntax and Semantics | OCaml Programming | Chapter 3 Video 2
OCaml Tutorial: Getting started with OCaml. Part 3 - Lists and Polymorphic Functions
Recursive Parameterized Variants | OCaml Programming | Chapter 3 Video 19
Algebraic Data Types | OCaml Programming | Chapter 3 Video 17
Records and Tuples | OCaml Programming | Chapter 3 Video 3
Pattern Matching | OCaml Programming | Chapter 3 Video 7
Cons vs Append | OCaml Programming | Chapter 3 Video 10
Pattern Matching with Variants Part 1 | OCaml Programming | Chapter 3 Video 14
Variant Syntax and Semantics | OCaml Programming | Chapter 3 Video 16
Variants | OCaml Programming | Chapter 3 Video 13
View Detailed Profile
Lists | OCaml Programming | Chapter 3 Video 1

Lists | OCaml Programming | Chapter 3 Video 1

The basics of

Pattern Matching with Lists | OCaml Programming | Chapter 3 Video 8

Pattern Matching with Lists | OCaml Programming | Chapter 3 Video 8

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

List Syntax and Semantics | OCaml Programming | Chapter 3 Video 2

List Syntax and Semantics | OCaml Programming | Chapter 3 Video 2

The formal syntax and semantics of

OCaml Tutorial: Getting started with OCaml. Part 3 - Lists and Polymorphic Functions

OCaml Tutorial: Getting started with OCaml. Part 3 - Lists and Polymorphic Functions

In this tutorial, I will show the basic ideas of immutable

Recursive Parameterized Variants | OCaml Programming | Chapter 3 Video 19

Recursive Parameterized Variants | OCaml Programming | Chapter 3 Video 19

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

Algebraic Data Types | OCaml Programming | Chapter 3 Video 17

Algebraic Data Types | OCaml Programming | Chapter 3 Video 17

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

Records and Tuples | OCaml Programming | Chapter 3 Video 3

Records and Tuples | OCaml Programming | Chapter 3 Video 3

OCaml

Pattern Matching | OCaml Programming | Chapter 3 Video 7

Pattern Matching | OCaml Programming | Chapter 3 Video 7

Examples of pattern matching with

Cons vs Append | OCaml Programming | Chapter 3 Video 10

Cons vs Append | OCaml Programming | Chapter 3 Video 10

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

Pattern Matching with Variants Part 1 | OCaml Programming | Chapter 3 Video 14

Pattern Matching with Variants Part 1 | OCaml Programming | Chapter 3 Video 14

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

Variant Syntax and Semantics | OCaml Programming | Chapter 3 Video 16

Variant Syntax and Semantics | OCaml Programming | Chapter 3 Video 16

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

Variants | OCaml Programming | Chapter 3 Video 13

Variants | OCaml Programming | Chapter 3 Video 13

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

Options | OCaml Programming | Chapter 3 Video 20

Options | OCaml Programming | Chapter 3 Video 20

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