3 ms·
> I cannot think of a language semantically closer to C than Rust. Not even C++ is there. Rust is literally just C with a good type system, and that's what make
by vmchale 8y ago
> I cannot think of a language semantically closer to C than Rust. Not even C++ is there. Rust is literally just C with a good type system, and that's what makes it so awesome.
ATS is far closer and indeed compiles to C. Rust's type system is still less expressive than that of ATS.
- hcs 8y agoNever heard of it, link?
- zeptomu 8y ago"Applied Type System" - a language built for correct low-level programming inspired by functional programming and theorem proving. http://lmgtfy.com/?q=ats+language http://lmgtfy.com/?q=ats+language If I remember correctly there were plans to implement GNU Hurd (the Half-Life 3 of kernels) in ATS, but that probably went nowhere. But there is a small osdev community messing with kernels and ATS.