Type checking

Lee Dixon leedixon_2 at hotmail.com
Wed Dec 31 19:27:19 EST 2003


Can anyone explain to me how hugs manages to derive that

f x y z = y (y z) x

is of type

f :: a -> ((a -> b) -> a -> b) -> (a -> b) -> b

Many thanks and a happy new year to all!


Stay in touch with absent friends - get MSN Messenger 

More information about the Haskell-Cafe mailing list