Lecture Notes, Week 12

• From concrete data types to abstract data types
  • Version
• Environments
  • Exercise 01
  • Environments as association lists
  • Environments as functions
  • Postlude
  • Resources
  • Version
• Queues
  • An abstract data type
  • Last in, first out (LIFO)
  • Exercise 02
  • First in, first out (FIFO)
  • Exercise 03
  • Exercise 04
  • Representing a LIFO queue with a list
  • Representing a FIFO queue with a list
  • Representing a FIFO queue with a list, Version 1: the first (to be dequeued) shall be the first (in the list)
  • Representing a FIFO queue with a list, Version 2: the first (to be dequeued) shall be the last (in the list)
  • Representing a FIFO queue with a list, Version 3: amortizing space and time opportunistically
  • Representing a FIFO queue with a list, Version 4: amortizing space and time structurally
  • Representing a FIFO queue with a list, Version 5: a functional representation
  • Exercise 05
  • Exercise 06
  • Exercise 07
  • Resources
  • Version
• Modules in OCaml
  • Syntax
  • Interlude
  • A first module
  • Exercise 08
  • Solution for Exercise 08
  • A second module
  • Interlude
  • A third module
  • A fourth module, with nesting
  • Exercise 09
  • Solution for Exercise 09
  • Declaring the signature of a module
  • The first module, revisited
  • Exercise 10
  • Solution for Exercise 10
  • The second module, revisited
  • Exercise 11
  • Solution for Exercise 11
  • The third module, revisited
  • Exercise 12
  • Solution for Exercise 12
  • Functors
  • Interlude
  • The second module, re2visited
  • Exercise 13
  • Solution for Exercise 13
  • Functors that return other functors
  • Interlude
  • Functors that are applied to other functors
  • Postlude
  • Resources
  • Version
• From concrete data types to abstract data types, revisited
  • Example: lists of integers as an abstract data type
  • A first implementation: native lists
  • A second implementation: a left-to-right representation
  • A third implementation: a right-to-left representation
  • Summary and conclusion
  • Resources
  • Version
• Environments, revisited
  • Environments as association lists, revisited
  • Environments as functions, revisited
  • Resources
  • Version
• Queues, revisited
  • Representing a LIFO queue with a list, revisited
  • Representing a FIFO queue with a list, Version 1, revisited
  • Representing a FIFO queue with a list, Version 2, revisited
  • Representing a FIFO queue with a list, Version 3, revisited
  • Representing a FIFO queue with a list, Version 4, revisited
  • Representing a FIFO queue with a list, Version 5, revisited
  • Resources
  • Version
• Unit tests using modules
  • Environments
  • Unit-test functions
  • Unit-test functors
  • Making do without the dot notation
  • Exercise 14
  • Solution for Exercise 14
  • Resources
  • Version
• Exercises for Week 12
  • Exercise 00
  • Mandatory mini-projects
  • Exercise 15
  • Exercise 16
  • Resources
  • Version
• Index of concepts for Week 12
  • Version