[Haskell-cafe] Origins of '$'

[Arnar Birgisson]

On Mon, Dec 8, 2008 at 23:10, Dan Piponi <dpiponi at gmail.com> wrote:
> 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 :-)

Ah, the power of a well chosen notation :)

As for the original question, this message:

    http://www.cse.unsw.edu.au/~dons/haskell-1990-2006/msg00675.html

suggests that the application operator was suggested by Kent Karlsson,
but I couldn't find the actual suggestion though.

cheers,
Arnar