Ada should be mentioned when speaking of programming languages on safety

Posted Apr 18, 2013 5:31 UTC (Thu) by lonely_bear (subscriber, #2726)
In reply to: Ada should be mentioned when speaking of programming languages on safety by Cyberax
Parent article: A taste of Rust

Enlighten me, what do you referring to for "modern concurrency support (compartmentalization of data)"?

Posted Apr 18, 2013 5:36 UTC (Thu) by Cyberax (✭ supporter ✭, #52523) [Link]

Guarantees on the level of the type system that the data you are working on can't be changed by another thread.

Erlang guarantees this by making deep local copies of all the objects that are passed between threads, for example.