[Haskell-cafe] Musings on type systems

Stephen Tetley stephen.tetley at gmail.com
Sat Nov 20 07:22:14 EST 2010


On 20 November 2010 12:05, Tillmann Rendel
<rendel at mathematik.uni-marburg.de> wrote:

> I would expect the "exponential type" to be (a -> b):
>

Terminologically, "Bananas in Space" (!) agrees with you.

http://www.cs.nott.ac.uk/~gmh/bananas.pdf

Regards

Stephen


More information about the Haskell-Cafe mailing list