Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I think that just means that Go isn't completely memory safe.

Or, it means that "Go is only memory safe provided you have no data races".

My point is that it's weird to say that there is a notion of memory safety that is separate from the memory safety you get if you also have a story for data races. It leads to exactly the confusion in the OP: it's not clear if they're saying that memory safety subsumes data race freedom in the sense that you're memory-safe even in the presence of races (like Java or Fil-C), or that it means that memory safety subsumes data race freedom in the sense that Rust's type system handles both memory safety and data races using the same basic technique.



Right, I get what you're saying and think you have a point. Just wanted to expand on the (perceived?) issue with Go and data races.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: