[Haskell-cafe] Point-free style
timd at macquarie.com.au
Sun Feb 13 19:24:12 EST 2005
Ketil Malde wrote:
> (.) . (.) .(.)
> I entered it into GHCi, and got
> :: forall a a b c a.
> (b -> c) -> (a -> a -> a -> b) -> a -> a -> a -> c
I spent a minute or so attempting to intuit the type signature of this,
before cheating and entering it into ghci also.
Is there a straightforward technique by which type signatures can be
"hand calculated", or does one end up needing to run the whole inference
algorithm in one's head?
More information about the Haskell-Cafe