[Haskell-cafe] Origins of '$'

Dan Piponi dpiponi at gmail.com
Mon Dec 8 18:10:31 EST 2008

2008/12/8 Joachim Breitner <mail at joachim-breitner.de>:
> So A^(B+C) = A^B × A^C ?

That's part of the basis for Hinze's paper on memoization:

> It's always nice to see that I havn't learned the elementary power
> calculation rules for nothing :-)

More generally, all of Tarski's "high school algebra" axioms carry
over to types. You can see the axioms here:
http://math.bu.edu/people/kayeats/papers/saga_paper4.ps That proves
type theory is child's play :-)

More information about the Haskell-Cafe mailing list