Lecture Notes, updates
- 29 Jul 2024:
renamed Anton, Dana, and Pablito
- 21 Apr 2023:
added an adage about the Practical OCaml Programmer’s theorem
- 16 Apr 2023:
added exercises in the chapter about generic programming with lists
in Week 09
- 14 Apr 2023:
added two new adages
(one about writing unit tests methodically and another about reporting errors)
- 14 Apr 2023:
clarified what will happen at the oral exam
in the chapter about the events leading to the oral exam
- 05 Apr 2023:
completed the miscellany from the summatorial function to the summation operator
- 26 Mar 2023:
expanded the “How to solve it” miscellany
- 26 Mar 2023:
expanded the resource file in the chapter about reversing lists
with a template for
Exercise 02,
Exercise 03,
and
Exercise 04
in Week 09
- 25 Mar 2023:
added the definition of “instance”
in Week 01
- 24 Mar 2023:
added an interlude about coding
in Week 01
- 19 Mar 2023:
added a practical note about let-declarations
in Week 03
- 19 Mar 2023:
added illustrations that the fake functions are fake in the chapter about induction and recursion over natural numbers
in Week 05
- 19 Mar 2023:
added an interlude illustrating how tests show the presence of bugs
in Week 03
- 18 Mar 2023:
added an interlude revisiting the rise and fall of Factorial numbers
in Week 09
- 17 Mar 2023:
added an overall word of welcome to the lecture notes
- 12 Mar 2023:
added three exercises and two solutions in the chapter about strings
in Week 05
- 12 Mar 2023:
created a new part, Miscellanies,
that documents a variety of reflections about these lecture notes
- 12 Mar 2023:
added a section about zero as a natural number
in Week 02
- 11 Mar 2023:
added a hint in Exercise 07.d
in the chapter about the map function for lists
- 11 Mar 2023:
in the light of the live-coding session in class (10 Mar 2023),
rephrased
Question 03
and
Question 04
and added some food for thought
in the mini-project about strings
- 11 Mar 2023:
simplified Question 08
and added some food for thought in
Question 12
and
Question 13
in the mini-project about strings
- 11 Mar 2023:
added an interlude after Question 07
in the mini-project about strings
- 17 Feb 2023:
added two accompanying .ml files after the live-coding session in class
in Week 06
- 12 Feb 2023:
expanded the interlude about unparsing characters
in Week 05
- 12 Feb 2023:
added a section about the rise and fall of Factorial numbers
in Week 05
- 12 Feb 2023:
added an aftermath and Exercise 19
in Week 05
- 12 Feb 2023:
expanded the aftermath about the ASCII table
in Week 05
- 12 Feb 2023:
added Halcyon’s Aha! moment about the ordering of characters in OCaml
in Week 04
- 12 Feb 2023:
expanded Section Polymorphic types with OCaml’s comparison functions
in Week 04
- 12 Feb 2023:
added
the comparison of two characters,
the comparison of two strings,
and
the comparison of two booleans
in Week 03
- 10 Feb 2023:
added a section about the ASCII character-encoding standard
in Week 04
- 02 Feb 2023:
belatedly updated the template .ml file with correct exercise numbers
in Week 03
- 01 Feb 2023:
polished the narrative of Chapter OCaml: a language of algebraic expressions, with names and functions
in Week 03
- 28 Jan 2023:
adjusted the introduction of the backslash character as a quoting mechanism
and added a partial solution for Exercise 03
in Week 03
- 27 Jan 2023:
added an analogy about dynamic vs. static types
in Week 03
- 21 Jan 2023:
refined two explanations about
interpreting an interpreter
and
interpreting a compiler
in Week 01
- 13 Jan 2023:
added Exercise 18
in Week 01
- 11 Jan 2023:
corrected the number of hours / week in the syllabus
and
expanded the section about the group report
in Week 01
- 10 Jan 2023:
created