Re: [Haskell-cafe] Musings on type systems

On 20 November 2010 12:05, Tillmann Rendel 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