|
|
|
|
|
|
by nickpsecurity
3135 days ago
|
|
|
I'll add SCOOP to your list since it was commercially deployed as part of Eiffel. I'll throw in the Eiffel paper from the 1980's for people curious about the overall language and methodology. https://www.eiffel.org/doc/solutions/Concurrent%20programmin... http://se.ethz.ch/~meyer/publications/acm/eiffel_sigplan.pdf http://www.eiffel.com/developers/design_by_contract_in_detai... Since they have strong QA focus, they also have things like test generation from contracts specifying intended behavior. So, safe concurrency was just one benefit of the work that started in the 1980's. Rust takes things further with a simpler and more flexible approach that supports quite a few different styles of concurrency. That's on top of the temporal safety inspired by the Cyclone language for safe, C-like programming. Rust's real success is it's the first of the safe, system languages to take off with a massive ecosystem due to their great community efforts. That's probably what Ada and Eiffel needed on top of earlier FOSS implementations. |
|
|