4 ms·

Very strongly disagree that Rust is a C++ replacement and D is a C replacement. If anything, it's the exact opposite, Rust is a C replacement and D is a C++ rep

Very strongly disagree that Rust is a C++ replacement and D is a C replacement. If anything, it's the exact opposite, Rust is a C replacement and D is a C++ replacement. If you tracked communities so far, you'd see that Rust community is very sensitive on the issue of memory print, performance impact and asm implicitness of Rust. There is already a huge osdev community built around Rust, I know kernels written in Rust. Rust is the perfect language to reliably write drivers, embedded systems or system tools. 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.

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 ago
  Never 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.
jcelerier 8y ago
> Rust is a C replacement well, which language of C and C++ has the possibility of having traits, structs with function definitions, generics which work through monomorphism, variants, optional, reference-counted pointer and pointer ownership semantics ? > If you tracked communities so far, you'd see that Rust community is very sensitive on the issue of memory print, performance impact and asm implicitness of Rust. yeah... like C++ ?
bumblebritches5 8y ago
Imagine being this delusional

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 ago
Never 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.

jcelerier 8y ago

> Rust is a C replacement well, which language of C and C++ has the possibility of having traits, structs with function definitions, generics which work through monomorphism, variants, optional, reference-counted pointer and pointer ownership semantics ? > If you tracked communities so far, you'd see that Rust community is very sensitive on the issue of memory print, performance impact and asm implicitness of Rust. yeah... like C++ ?

bumblebritches5 8y ago

Imagine being this delusional