"The IO monad is 45 years old"
Very interesting post. The Landin paper mentioned comes in two parts, and the part cited is actually the second part. The first part is freely available online without having to go through the ACM’s paywall, and is interesting in and of itself, but only marginally relevant to this post.