4 ms·
> How do its standard library, build tools, and library ecosystem compare to Rust's? as ATS is a frontend to GCC, it means that the standard library can be any
by ghostwriter 6y ago
> How do its standard library, build tools, and library ecosystem compare to Rust's?
as ATS is a frontend to GCC, it means that the standard library can be any battle-tested C standard library. On top of that there can be a formally-verified interface that calls underlying C API. Here's an example - https://bluishcoder.co.nz/2012/08/30/safer-handling-of-c-memory-in-ats.html https://bluishcoder.co.nz/2012/08/30/safer-handling-of-c-mem...
There's also a safe Prelude and common data structures, implemented in ATS:
http://www.ats-lang.org/Libraries.html http://www.ats-lang.org/Libraries.html
> Is there a convention of assuming GC can be used, or that it can't, or of supporting both?
afaik there's no officially defined convention, but you can have a look how this switch may look like in practice in this video - https://youtu.be/Xkg_EmERYRE?t=1742 https://youtu.be/Xkg_EmERYRE?t=1742