[Haskell-cafe] Type System (Was: Currying and Partial Evaluation)
brad.larsen at gmail.com
Tue Jan 8 19:03:05 EST 2008
On Tue, 08 Jan 2008 18:59:22 -0500, Achim Schneider <barsoap at web.de> wrote:
> 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?
Beg pardon? Are you referring to the type of y being described with 'b'
instead of 'a'?
More information about the Haskell-Cafe