Type system question

[bearophile]

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