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.
