Re: [Haskell-cafe] Re: What's the problem with iota's type signature?

On Thu, May 28, 2009 at 5:19 PM, Gracjan Polak wrote:

You don't have to guess then, Haskell compiler can do the guessing for you.

It isn't guess, Haskell compiler (like GHC) gets these types by (type) inference, as you said :-) lee

It is called type inference.