Microsoft research developed a memory-safe language, but still using Rust to replace C++.
Interesting...
A Functional Language with Effect Types and Handlers
Perceus: Garbage Free Reference Counting with Reuse
Microsoft Technical Report, MSR-TR-2020-42, Nov 29, 2020, v2.
Koka and Nim are modern programming languages that use advanced reference counting memory management. Koka utilizes the Perceus compiler framework to achieve garbage-collection-free execution, while Nim implements scope-based reference counting and its own ORC collector variant. [1, 2]
