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

[Achim Schneider]

"Brad Larsen" <brad.larsen at gmail.com> wrote:

> 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'?
> 
Yes.


-- 
(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.