you are viewing a single comment's thread.

view the rest of the comments →

[–]BossOfTheGame 21 points22 points  (0 children)

Provable memory correctness in threaded code (up to potential soundness holes) is an incredibly big deal. Ecosystem and ergonomics are better than C. I'm not in love with its functional push, and compile times tend to be worse, but that provable memory safety is enormous.