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.