Range of enum type values

[ag0aep6g]

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."