Media Summary: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... How to implement the `map` functional. Textbook:

Combine Ocaml Programming Chapter 4 Video 4 - Detailed Analysis & Overview

How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Functions can take other functions as input and return them as output, making them "higher order". Textbook: ... How to implement the `map` functional. Textbook: The `map` functional transforms elements of a list. Textbook: How to implement the `filter` functional on lists. Textbook: How to infer the type of `if` expressions in HM type inference Textbook:

Application of functions to "too few" of arguments, and syntactic sugar. Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...

Photo Gallery

Combine | OCaml Programming | Chapter 4 Video 4
Fold | OCaml Programming | Chapter 4 Video 5
Higher-Order Functions | OCaml Programming | Chapter 4 Video 1
Implementing Map | OCaml Programming | Chapter 4 Video 3
Map | OCaml Programming | Chapter 4 Video 2
From OCaml 4 to 5 and from Parmap to Effects: A legacy code transition story - FUN OCaml 2025
Filter | OCaml Programming | Chapter 4 Video 6
OCaml in 90 Seconds
Functional Programming - Why Part 2 | OCaml Programming | Chapter 1 Video 4
Inference of Ifs | OCaml Programming | Chapter 9 Video 40
Partial Application | OCaml Programming | Chapter 2 Video 14
Comparison of Data Types | OCaml Programming | Chapter 3 Video 4
Sponsored
Sponsored
View Detailed Profile
Combine | OCaml Programming | Chapter 4 Video 4

Combine | OCaml Programming | Chapter 4 Video 4

How to

Fold | OCaml Programming | Chapter 4 Video 5

Fold | OCaml Programming | Chapter 4 Video 5

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

Sponsored
Higher-Order Functions | OCaml Programming | Chapter 4 Video 1

Higher-Order Functions | OCaml Programming | Chapter 4 Video 1

Functions can take other functions as input and return them as output, making them "higher order". Textbook: ...

Implementing Map | OCaml Programming | Chapter 4 Video 3

Implementing Map | OCaml Programming | Chapter 4 Video 3

How to implement the `map` functional. Textbook: https://cs3110.github.io/textbook.

Map | OCaml Programming | Chapter 4 Video 2

Map | OCaml Programming | Chapter 4 Video 2

The `map` functional transforms elements of a list. Textbook: https://cs3110.github.io/textbook.

Sponsored
From OCaml 4 to 5 and from Parmap to Effects: A legacy code transition story - FUN OCaml 2025

From OCaml 4 to 5 and from Parmap to Effects: A legacy code transition story - FUN OCaml 2025

From

Filter | OCaml Programming | Chapter 4 Video 6

Filter | OCaml Programming | Chapter 4 Video 6

How to implement the `filter` functional on lists. Textbook: https://cs3110.github.io/textbook.

OCaml in 90 Seconds

OCaml in 90 Seconds

Get Cracked at

Functional Programming - Why Part 2 | OCaml Programming | Chapter 1 Video 4

Functional Programming - Why Part 2 | OCaml Programming | Chapter 1 Video 4

More reasons you should learn functional

Inference of Ifs | OCaml Programming | Chapter 9 Video 40

Inference of Ifs | OCaml Programming | Chapter 9 Video 40

How to infer the type of `if` expressions in HM type inference Textbook: https://cs3110.github.io/textbook.

Partial Application | OCaml Programming | Chapter 2 Video 14

Partial Application | OCaml Programming | Chapter 2 Video 14

Application of functions to "too few" of arguments, and syntactic sugar. Textbook: https://cs3110.github.io/textbook.

Comparison of Data Types | OCaml Programming | Chapter 3 Video 4

Comparison of Data Types | OCaml Programming | Chapter 3 Video 4

Lists vs. Tuples vs. Records Textbook: https://cs3110.github.io/textbook.

Scope and the Toplevel | OCaml Programming | Chapter 2 Video 7

Scope and the Toplevel | OCaml Programming | Chapter 2 Video 7

What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...