One day a student came to Moon and said: “I understand how to make a better garbage collector. We must keep a reference count of the pointers to each cons.”
Moon patiently told the student the following story:
One day a student came to Moon and said: “I understand how to make a better garbage collector...
—Danny Hillis explains tale-recursion.
Q: What's this?
(lambda (x) (make-isomorphism x 'howard)).
A: Gur pheevrq Ubjneq vfbzbecuvfz. (rot 13)
1 comment:
The curried Howard isomorphism
Post a Comment