[Haskell-cafe] Type System (Was: Currying and Partial Evaluation)

Achim Schneider barsoap at web.de
Tue Jan 8 18:59:22 EST 2008

Achim Schneider <barsoap at web.de> wrote:

> Prelude> let y f = f $ y f
> Prelude> :t y
> y :: (b -> b) -> b
Just out of curiosity: Where the heck does 'a' hide?

(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited. 

More information about the Haskell-Cafe mailing list