On 04/15/2016 05:17 PM, Timon Gehr wrote:
Well, that is precisely the way that languages with real type systems address issues like this one. D has many others like it.Note that for type systems, complexity and expressiveness do not necessarily correlate.
Nicely put on both counts. (Well "real" is semantically sarcastic a bit.) I don't even disagree :o). -- Andrei
