Range of enum type values

ag0aep6g anonymous at example.com
Sat Dec 28 14:05:23 UTC 2019

On 28.12.19 14:33, Timon Gehr wrote:
> https://dlang.org/articles/safed.html
> "In D, we expect the vast majority of programmers to operate within the 
> safe subset of D, which we call SafeD. The safety and the ease of use of 
> SafeD is comparable to Java—in fact Java programs can be 
> machine-translated into this safe subset of D. SafeD is easy to learn 
> and it keeps the programmers away from undefined behaviors. It is also 
> very efficient."
> "[...] you are guaranteed not to encounter any undefined behavior."
> https://dlang.org/spec/memory-safe-d.html
> "Therefore, the safe subset of D consists only of programming language 
> features that are guaranteed to never result in memory corruption. See 
> this article for a rationale."
> ("this article" links to
> https://dlang.org/articles/safed.html)

Also: https://dlang.org/spec/function.html#function-safety

"Safe functions are functions that are statically checked to exhibit no 
possibility of undefined behavior."

"Safe functions are marked with the @safe attribute."

More information about the Digitalmars-d mailing list