The page collects posts in connection with the lecture Functional Programming’’ (IN2040) I am planning for information of about the material and content of the lecture, mostly of tangential interest. Important organizational messages will not appear here, but as “beskjeder” on the official IFI page (and email) and the other more official communication channels.

In particular, the blog-posts here are NOT pensum. The intention is to shed additional light on the material covered in the lecture, sometimes only loosely connected, with the hope of being useful or entertaining. The lecture is in Norwegian, but at this place, I will post in English.

Programming

 R5RS and DrRacket DrRacket documentation

Short cuts

 vortex webpage 2022 semester page oblig directory obliger exercises directory pensum detailed pensum list discussion forum 2022 https://github.uio.no/IN2040/h22 group teachers page vakker scheme emacs & scheme some discussion platform mattermost git pages https://github.uio.no/IN2040/IN2040.pages.github.uio.no non-public 2040 organization https://github.uio.no/IN2040/ non-public lecture 2022 https://github.uio.no/IN2040/2022 non-public

Posts

Y not code up $n!$ with no recursion and no Y tricks either?

A glance at Church numerals, inductive data types, and pattern matching

or why Y?