type inference

Ashley Yakeley ashley@semantic.org
Fri, 8 Feb 2002 03:29:12 -0800

At 2002-02-07 15:39, ilje wrote:

>For what reason we need the "Type inference" if we can enforce "Type 
>constraints" ?????

I think it just makes it easier for the programmer if they don't have to 
write type signatures everywhere. Of course sometimes Haskell can't infer 
types and then you have to put them in.

Ashley Yakeley, Seattle WA