DIP64: Attribute Cleanup

bearophile via Digitalmars-d digitalmars-d at puremagic.com
Sat Jun 21 11:33:29 PDT 2014


Temtaime:

> If you  don't want to play with pointers - just don't do it 
> instead of writing @safe etc.

This is the C approach to programming, that has worked well 
enough for many years. Give the programmers all the sharp tools 
and let them sort out their usage and to follow sufficient safety 
measures. The result is an industry of code verifiers, tight code 
that runs fast, but sometimes fails very badly.

Another approach is visible in Ada/Rust, safety on default 
enforced by the type system and the annotations. Ada works very 
well for its high integrity niche, while Rust is still unproven, 
but looks promising.

D seems to follow an intermediate route. It's still not as safe 
as Ada/Rust, but it's somewhat safe and Walter shows that he 
wants D to become safer in future.

Bye,
bearophile


More information about the Digitalmars-d mailing list