Home

Welcome to the COMPSCI3MI3-F2023 wiki!

On top of the various files, there is some extra material available:

• Syllabus which was covered in the first lecture
• Next two lectures (Sept. 7-8) revolved around history of PLs, with the aid of the simplified graph of language genealogy and the full graph too. The material is from Pixel's PL study page where more is available. I scanned my notes of what to cover. Additional material has been added as well.
• Sept. 12 and 14 were live-coding of Haskell. See repo for files produced in class.
• Sept. 15 was on esoteric languages, first by diving in to Wikipedia's links and then then the esolangs web site. Also touched on were quines, ourobouros programs (same page) and polyglots.
  • we touched upon Shakespeare, Befunge, LOLCODE, Malbolge, INTERCAL, Brainfuck
• Sept. 19, 21, 22: Introduction to Prolog; we'll be using slide set 03 and 05 from this course at York as well as swi-prolog. The rest of the material was live-coded - some Prolog, some Haskell, see repo for details.
• Sept 26, 28, 29: towards the lambda-calculus. We'll be loosely following the book usually called 'TAPL' (i.e. Types and Programming Languages; there are PDFs available on the internet). Prof. Nick Moore covered this material in his 2021 version of the course, and the videos are on this YouTube playlist. A more modern take is Harper's Practical Foundations of Programming Languages (also has available PDF) but this text would likely be considered 'too hard' for a third year course (at Mac). The material is in the background informed by the Curry-Howard Correspondance and its vast generalization of the Computational Trilogy. The slides that I used are available under Lecture/towardslambda.pdf.