4 ms·
I don't know Modula-3 and Eiffel, but I do know some Ada. From my experience Rust, with the borrow checker, still brings a lot to the table compared to Ada. Alt
by carlmr 6y ago
I don't know Modula-3 and Eiffel, but I do know some Ada. From my experience Rust, with the borrow checker, still brings a lot to the table compared to Ada. Although Ada has things that Rust doesn't have, too, like delta types, which are immensely useful in embedded programming, and SPARK.
Ideally Rust would adopt some of these, or Ada in the next standard.
- pjmlp 6y agoAda is adding borrow checker like capabilities to SPARK. In fact this is what I consider Rust's biggest contribution to the computing world. Even if Rust dies tomorrow and eventually fades away, it has brought Cyclone and ATS ideas to the masses, to the point that many languages have done, are in the process of doing, design decisions to integrate affine or linear types to some extent with their type systems.
- throwaway894345 6y agoI would rather see more mainstreaming of sum types, although affine types are nice as well.