[Haskell-cafe] Re: Refactoring status

[Bulat Ziganshin]

Hello Bob,

Sunday, January 6, 2008, 3:45:42 AM, you wrote:

> You are wrong. Without type signatures some type errors will not be
> caught by the compiler, resulting in erroneous program behaviour.

of course. moreover, the same applies to any type inference. are you
give explicit type signature to every expression in the program?

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com