Lecture Notes, Week 07

• On simplifying OCaml expressions
  • Resources
  • The computational domain of discourse
  • Evaluation might not terminate
  • Evaluation might raise an error
  • Evaluation might yield a value
  • Pure and impure expressions
  • Observational equivalence
  • The series of exercises
  • Exercise 01
  • Solution for Exercise 01
  • Exercise 02
  • Solution for Exercise 02
  • Exercise 03
  • Exercise 04
  • Solution for Exercise 04
  • Exercise 05
  • Mechanical solution for Exercise 05.b
  • Exercise 06
  • Exercise 07
  • Solution for Exercise 07
  • Exercise 08
  • Solution for Exercise 08
  • Exercise 09
  • Mechanical solution for Exercise 09
  • Resources
  • Version
• Inlining functions
  • Resources
  • A simple example
  • The recipe to unfold the call to a function
  • And back: fold-right considered as syntactic sugar
  • And back: doubling up a natural number
  • And back: adding a natural number to an integer
  • Interlude
  • And back: multiplying a natural number with an integer
  • Exercise 10
  • And back: the even predicate
  • Exercise 11
  • Exercise 12
  • Exercise 13
  • Exercise 14
  • Exercise 15
  • Resources
  • Version
• From complete unit tests to implementation
  • Resources
  • The observational equivalences
  • Negation
  • Conjunction
  • Exercise 16 – disjunction
  • Exercise 17 – negated conjunction (nand)
  • Exercise 18 – negated disjunction (nor)
  • Exercise 19 – exclusive disjunction (xor)
  • Exercise 20 – implication
  • Exercise 21 – equivalence
  • Exercise 22
  • Exercise 23
  • Exercise 24
  • Exercise 25
  • Resources
  • Version
• Observational equivalence, functional equivalence
  • Version
• Weak polymorphism
  • Polymorphic type variables, revisited
  • Interlude
  • Weakly polymorphic type variables
  • Version
• It doesn’t type
  • Interlude
  • Version
• Exercises for Week 07
  • Exercise 00
  • Mandatory exercises
  • Mandatory mini-projects
  • Version
• Index of concepts for Week 07
  • Version