On Wed, 13 Dec 2023 04:12:33 +0000, Ben Cottrell wrote:
I don't want to abandon the ship and shift to a garbage collected languages, although they do come in handy, especially Java ...
ORC (e.g. Perl, Python) > GC (e.g. Java).
Maybe C++ is too slow to adapt, and Rust will take its place ...
There are other efforts towards safer languages. Such as Google’s “Carbon” project <https://github.com/carbon-language/carbon-lang>, which looks like “C++ done right” (i.e. keep the good bits, drop the old cruft). And then there is SPARK <https://devclass.com/2022/11/08/spark-as-good-as-rust-for-safer-coding-adacore-cites-nvidia-case-study/>, which is a subset of Ada designed so that programs can be proven error-free. Ada itself has a long pedigree in safety-critical programming, going back to its commissioning by the US Department of Defense in the 1980s. For example, the life support systems on the International Space Station are written in Ada.