On 4/13/14, 12:24 PM, Shammah Chancellor wrote:
On 2014-04-08 19:08:46 +0000, Andrei Alexandrescu said:
The current design is loose enough to accommodate all of the above
uses, probably too loose because it allows a bunch of nonsensical code
to compile. There are several questions to ask ourselves:
Andrei
Can we step off the trying to prevent nonsensical code from compiling
thing?
We shouldn't.
Anything that's turing complete will allow nonsensical code to
run. I'd rather have static analysis tools that issue warnings which
are supressable. The whole thing with @safe and shared makes a lot of
sensical code NOT compile without atrocious workarounds.
Yah, that's what makes type system design difficult.
Andrei
