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