Strict mode

[language_fan]

Thu, 24 Sep 2009 06:17:22 -0400, bearophile thusly wrote:

> There are other ways to make the language more strict, for example
> disallowing some automatic casts, etc. (C# already has some of this, for
> example float => double requires a cast. I don't remember if D2 requires
> this already).

Since your suggestion may add new syntactic constructs, can you somehow 
show that making the language more strict also improves overall program 
quality in some ways that unit testing and stronger type system cannot 
achieve.