Peter Landin was a founding father of the implementation and applications of functional programming. The following pastiche was written at the occasion of ICFP 2020, with suitable apologies to all parts, starting with Neil Young. It is best read while listening to his song Hey Hey, My My (Into the Black), e.g., on youtube:
Hey hey, my my.
Proofs and terms can never lie.
There's more to these features
Than meets the eye.
Hey hey, my my.
Out of the heap
Onto the stack.
You push for this,
but it pops off that.
And once it's gone,
it can't come back
When it's out of the heap
and onto the stack.
Landin is gone
but he's not forgotten.
Is this the story
of a Howard Curry?
It's better to swap out,
call/c never ceases,
Landin is gone
but he's not forgotten.
Hey hey, my my.
Proofs and terms can never lie.
There's more to these features
Than meets the eye.
Created [09 Feb 2024]