On 4/3/2014 7:19 PM, bearophile wrote:
I have asked for fully
typesafe enums in D, but in several years I think Walter has never answered, nor
he has explained why D has chosen such intermediate point. I presume this choice
is based on practical reasons, but I don't know exactly what they are (perhaps
to minimize the number of casts).
Because every cast breaks the type system. A type system that requires too many
casts for normal things is NOT a type safe system.
I have explained this on numerous occasions.