Type checking

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


Hi,

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!

Lee

_________________________________________________________________
Stay in touch with absent friends - get MSN Messenger 
http://www.msn.co.uk/messenger



More information about the Haskell-Cafe mailing list