D vs nim

[Per Nordlöw]

On Friday, 10 April 2015 at 18:52:24 UTC, weaselcat wrote:
> P.S., the example on the language's frontpage is cool!
>
> http://nim-lang.org/
>
> Why should I be excited?
> Nim is the only language that leverages automated proof 
> technology to perform a disjoint check for your parallel code. 
> Working on disjoint data means no locking is required and yet 
> data races are impossible:

I believe Rust's rayon [1] can do this too...

[1] https://github.com/rayon-rs/rayon