[Haskell-cafe] Type inference; always

Bulat Ziganshin bulat.ziganshin at gmail.com
Sun May 18 13:16:31 EDT 2008


Hello Derek,

Sunday, May 18, 2008, 9:10:38 PM, you wrote:
> This is incorrect.  There are two (other) situations where you need type
> annotations in Haskell 98.  One situation is when you use polymorphic
> recursion, but that is pretty rare unless you are writing nested data
> types

can you give examples?


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



More information about the Haskell-Cafe mailing list