Type system question

[Tim M]

How would that improve on auto?

On Wed, 10 Dec 2008 20:17:24 +1300, bearophile <bearophileHUGS at lycos.com>  
wrote:

> Do you know if someone has created a (small) C++/D - like language  
> designed to work with a Hindley-Milner type inference algorithm (using  
> it for something useful)?
> Days ago I was thinking about how much good it may come from giving such  
> type system to D2, but I don't how it can interact with the D templates.
>
> Bye,
> bearophile