Hacker News Reader

Ah, so Rust does represent thread semantics through types? It's curious that the authors don't mention that in their proposal.

Yeah, everything is driven by implementing (or not, as appropriate) Send and Sync for types.