On Friday, 20 April 2018 at 11:07:30 UTC, Russel Winder wrote:
On Thu, 2018-04-19 at 16:50 +0000, Per Nordlöw via
Digitalmars-d wrote:
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
Has anyone got Pony on their list of interesting languages?
Yep, I have. To bad about no curly braces, though.
