3 ms·
It always seemed like MSFT was about to position M# right into same niche as Rust. Both languages had the mantra of safety and zero cost abstraction.
by zmanian 11y ago
It always seemed like MSFT was about to position M# right into same niche as Rust. Both languages had the mantra of safety and zero cost abstraction.
- chadzawistowski 11y agoIt certainty felt like the blog posts about M# struck a zeitgeist nerve. I doubt it was ever really intended for release, though.
- MichaelGG 11y agoDidn't they hire the guy from BitC? BitC and ATS looked like the only interesting safe high perf languages for a while eh? Rust now has all the interest though.
- aidenn0 11y agoBoth BitC and ATS are big on formal program verification; rust has the interest because the number of people outside of academia that are interested in formal program verification is approximately zero.