Welcome to Functional programming (IN2040), autumn 2024
The page collects posts in connection with the lecture “FunctionalProgramming” (IN2040), often just loosely connected and of tangential interest. For instance about aspects of functional programming more generally or specifically. Important organizational messages won’t 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 material covered in the lecture, sometimes only loosely connected, with the hope of being useful or entertaining. Of course, if there is a blog post about, say “evaluation strategies”, taking a broader take on that, that does not remove evaluation strategies from the pensum. To the extent covered in the lecture, it’s pensum, additional background information is not.
like for instance for the functional programming course.
Representation of expressions in the meta-circular evaluator
A glance at Church numerals, inductive data types, and pattern matching
or why Y?
and functions too
A lesser known fact on Ackermann’s function, and the power of higher-order functions