[Haskell-cafe] Bathroom reading

Dan Piponi dpiponi at gmail.com
Wed Aug 15 13:56:44 EDT 2007


On 8/14/07, Dougal Stanton <ithika at gmail.com> wrote:
> 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


More information about the Haskell-Cafe mailing list