Type system question

[Tim M]

But extra features isn't necessarily a good thing. (Multiple Inheritance  
for example). Can you prove that a new and improved type inference will  
not be counter productive or any other disadvantages.


  On Fri, 12 Dec 2008 01:06:34 +1300, bearophile <bearophileHUGS at lycos.com>  
wrote:

> Robert Fraser:
>
>> Oh, and then there's the issue of D being a "systems" language.  
>> Occasionally, you'll want to coerce something into a type it's not,  
>> especially if working with low-level code, unions, etc.<
>
> This isn't a problem, you can add type annotations where you want.
>
> I don't know enough about such advanced type systems yet, so I can't  
> give you good answers. But seeing languages that do something similar  
> (Scala, ATS, BitC) it may be doable.
>
> Bye,
> bearophile