Hacker News new | ask | show | jobs
by vmchale 2821 days 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.
1 comments
hcs 2821 days ago
Never heard of it, link?
link
zeptomu 2821 days 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

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.

link