15 Aug
2007
15 Aug
'07
1:56 p.m.
On 8/14/07, Dougal Stanton
I'm looking for cool but mind-bending examples of functional brilliance.
One of my favourite examples is: http://citeseer.ist.psu.edu/hinze99functional.html Anyone who studies binomial heaps is struck by the similarity to binary arithmetic. What Hinze does is formalise that similarity so that binomial heaps and binary numbers are instances of the same type class. Very pretty. -- Dan