Lecture Notes, Week 12

• Mutable data in OCaml
  • References in OCaml
  • Constructing mutable values
  • Dereferencing mutable values
  • Mutating references
  • The imperative simulation of String.mapi in terms of String.map
  • Thunks by need, revisited
  • Resources
  • Version
• Sequencing in OCaml
  • Sequencing in retrospect
  • On the associativity of sequencing
  • Exercise 1
  • Solution for Exercise 1
  • More syntactic sugar: begin and end
  • Sequencing, iteratively: for-loops
  • Exercise 2
  • Functional solution for Exercise 2
  • Imperative solution for Exercise 2
  • Imperative solution for Exercise 2, with a for-loop
  • Exercice 3
  • Exercice 4
  • Exercice 5
  • Exercice 6
  • Exercise 7
  • Exercise 8
  • Sequencing, iteratively: while-loops
  • Exercise 9
  • Resources
  • Version
• Exceptions in OCaml
  • Computing the head of a list all by ourselves
  • Computing the tail of a list all by ourselves
  • Computing list heads and tails using OCaml’s predefined functions
  • Division by 0
  • Another error case
  • Raising an exception in OCaml
  • Computing the head of a list using a predefined exception
  • Computing the tail of a list using a predefined exception
  • Our own error cases using a predefined exception
  • Resources
  • Version
• Programming using exceptions
  • Resources
  • Catching exceptions in OCaml
  • Interlude
  • Declaring new exceptions in OCaml
  • Application: multiplying all the integers in a binary tree
  • Exercise 10
  • Application: testing whether a leaf satisfies a given predicate in a binary tree
  • Exercise 11
  • Exercise 12
  • Exercise 13
  • Resources
  • Version
• Imperative lists
  • Resources
  • Warmup
  • Unparsing imperative lists
  • Circular lists
  • How to construct a circular list
  • Interlude
  • A generic unit-test function for circular lists
  • How to detect whether an imperative list is circular: the unit-test functions
  • How to detect whether an imperative list is circular: Take 0
  • How to detect whether an imperative list is circular: Take 1
  • How to detect whether an imperative list is circular: Take 2
  • How to compute the length of an imperative list
  • How to fold right over imperative lists
  • How to fold left over imperative lists
  • How to detect whether an imperative list is circular using fold-right
  • How to detect whether an imperative list is circular using fold-left
  • How to compute the length of an imperative list using fold-left
  • How to compute the length of an imperative list using fold-right
  • How to compute the length of an imperative list using an exception
  • How to concatenate two imperative lists
  • How to reverse an imperative list
  • How to map a function over an imperative list
  • Exercise 14
  • Exercise 15
  • Exercise 16
  • Resources
  • Version
• Exercises for Week 12
  • Exercise 0
  • Mandatory exercises
  • Version