enum

[Andrei Alexandrescu]

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