[Haskell-cafe] Point-free style

Tim Docker 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 mailing list