(Disclaimer: I know nothing about ATS (programming language) - Wikipedia ).
Some have claimed that ATS is capable of writing low level programs as efficiently as C.
Some have claimed that ATS has a very advanced type system.
Does anyone know of a good comparison of Rust vs ATS ?