Lecture Notes, Week 11

• Evaluation order
  • Call by value
  • Call by name
  • Call by need
  • Example: a non-strict function
  • Example: a linear function
  • Example: a non-linear function
  • Left-to-right call by value
  • Right-to-left call by value
  • Call by value in an unspecified order
  • Exercise 01
  • Solution for Exercise 01
  • Interlude
  • Exercise 02
  • After hours
  • Version
• Demand-driven computation
  • Demand-driven computation in OCaml
  • A simple example of nested demands
  • The same simple example of nested demands, just different
  • Summa summarum: demand-driven computation
  • Postlude: demand-driven education
  • Post-postlude
  • Version
• Lazy lists
  • Exercise 03
  • Version
• Streams
  • How to destructure a stream: stream accessors
  • How to construct a stream: the stream maker
  • Example: the stream of natural numbers
  • Exercise 04
  • Example: the stream of positive integers
  • Exercise 05
  • Example: the stream of even natural numbers
  • Exercise 06
  • Exercise 07
  • Exercise 08
  • Example: the stream of odd natural numbers
  • Exercise 09
  • How to merge streams
  • Exercise 10
  • Solution for Exercise 10
  • Exercise 11
  • Solution for Exercise 11
  • Exercise 12
  • Solution for Exercise 12
  • Exercise 13
  • Exercise 14
  • Exercise 15
  • Exercise 16
  • Exercise 17
  • Exercise 18
  • Exercise 19
  • Exercise 20
  • A beautiful story, to close
  • Exercise 21
  • Exercise 22
  • Resources
  • Version
• Programming with streams
  • Resources
  • Example: duplicating the elements of a stream
  • Mapping functions over streams
  • Interlude about stream_powermap
  • Filtering out
  • Exercise 23
  • Eratosthenes’s sieve
  • Exercise 24
  • Abstract stream transducers
  • More abstract stream transducers
  • The stream of Fibonacci numbers
  • Exercise 25
  • The stream of Fibonacci numbers, incrementally
  • Exercise 26
  • Interlude
  • Exercise 27
  • Postlude
  • Resources
  • Credit
  • Version
• The samefringe problem
  • Resources
  • The samefringe problem: the unit tests
  • Fringe-preserving transformations
  • The samefringe problem: the unit tests, revisited
  • The fringe of a tree as a list
  • The fringe of a tree as a list, revisited
  • The samefringe problem, Take 0: easy does it
  • The samefringe problem, Take 1: minimizing space
  • The samefringe problem, Take 2: trading time for space
  • The samefringe problem, Take 3: constructing only one fringe
  • Exercise 28
  • The samefringe problem, Take 4: accumulating right subtrees
  • The samefringe problem, Take 5: incrementally rotating the given trees to the right
  • Exercise 29
  • Resources
  • Version
• Demand-driven computation, revisited
  • Resources
  • Desugaring a conditional expression into a function call
  • Delaying an evaluation without using the Lazy library
  • Interlude
  • Thunks
  • Thunks by value
  • Exercise 30
  • Thunks by name
  • Thunks by need
  • Exercise 31
  • Demand-driven computation in OCaml, revisited
  • A simple example of nested demands, revisited
  • The same simple example of nested demands, just different, revisited
  • Summa summarum: demand-driven computation
  • Resources
  • Version
• Exercises for Week 11
  • Exercise 00
  • Mandatory exercises
  • Version
• Index of concepts for Week 11
  • Version