Media Summary: The syntax and semantics of ref cells Textbook: How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ...

Aliasing Ocaml Programming Chapter 7 Video 4 - Detailed Analysis & Overview

The syntax and semantics of ref cells Textbook: How to use the ideas of `map` and `fold` functionals with binary trees. Textbook: What looks like mutability in the toplevel is not -- it's really just a consequence of scope. Textbook: ... A deep dive into implementing lists with mutable fields Textbook: References, or ref cells, are pointers to typed locations in memory. They enable imperative Examples of pattern matching with lists, records, and tuples. Textbook:

How to implement a Map ADT with association lists as the rep type Textbook: How to infer the type of `if` expressions in HM type inference Textbook:

Photo Gallery

Aliasing | OCaml Programming | Chapter 7 Video 4
Syntax and Semantics of Refs | OCaml Programming | Chapter 7 Video 2
Trees with Map and Fold | OCaml Programming | Chapter 4 Video 7
Scope and the Toplevel | OCaml Programming | Chapter 2 Video 7
Mutable Singly Linked Lists Part 1 | OCaml Programming | Chapter 7 Video 7
Refs | OCaml Programming | Chapter 7 Video 1
Arrays Part 1 | OCaml Programming | Chapter 7 Video 9
Application Operators | OCaml Programming | Chapter 2 Video 17
Pattern Matching | OCaml Programming | Chapter 3 Video 7
Functional Programming - Why Part 2 | OCaml Programming | Chapter 1 Video 4
Anonymous Functions | OCaml Programming | Chapter 2 Video 8
Association Lists: Insert, Find, Remove | OCaml Programming | Chapter 8 Video 7
Sponsored
View Detailed Profile
Aliasing | OCaml Programming | Chapter 7 Video 4

Aliasing | OCaml Programming | Chapter 7 Video 4

References make

Syntax and Semantics of Refs | OCaml Programming | Chapter 7 Video 2

Syntax and Semantics of Refs | OCaml Programming | Chapter 7 Video 2

The syntax and semantics of ref cells Textbook: https://cs3110.github.io/textbook.

Trees with Map and Fold | OCaml Programming | Chapter 4 Video 7

Trees with Map and Fold | OCaml Programming | Chapter 4 Video 7

How to use the ideas of `map` and `fold` functionals with binary trees. 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: ...

Mutable Singly Linked Lists Part 1 | OCaml Programming | Chapter 7 Video 7

Mutable Singly Linked Lists Part 1 | OCaml Programming | Chapter 7 Video 7

A deep dive into implementing lists with mutable fields Textbook: https://cs3110.github.io/textbook.

Sponsored
Refs | OCaml Programming | Chapter 7 Video 1

Refs | OCaml Programming | Chapter 7 Video 1

References, or ref cells, are pointers to typed locations in memory. They enable imperative

Arrays Part 1 | OCaml Programming | Chapter 7 Video 9

Arrays Part 1 | OCaml Programming | Chapter 7 Video 9

OCaml

Application Operators | OCaml Programming | Chapter 2 Video 17

Application Operators | OCaml Programming | Chapter 2 Video 17

How to define some common operators

Pattern Matching | OCaml Programming | Chapter 3 Video 7

Pattern Matching | OCaml Programming | Chapter 3 Video 7

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

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

Anonymous Functions | OCaml Programming | Chapter 2 Video 8

Anonymous Functions | OCaml Programming | Chapter 2 Video 8

Unnamed function values. Textbook: https://cs3110.github.io/textbook.

Association Lists: Insert, Find, Remove | OCaml Programming | Chapter 8 Video 7

Association Lists: Insert, Find, Remove | OCaml Programming | Chapter 8 Video 7

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

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.