3 ms·
It's also rather unwieldy to use, much more so than other dependently typed languages (like Idris). Sadly, despite having useful-looking properties, I suspect
by lucian1900 12y ago
It's also rather unwieldy to use, much more so than other dependently typed languages (like Idris).
Sadly, despite having useful-looking properties, I suspect it'll serve as little more than inspiration for others.
- Dewie 12y agoIt might be that it could serve the niche in which code has to be really performant, and you also need "complete" (to a strict degree) safety guarantees, and Rust can not give enough guarantees in that regard (and it is unacceptable to have a lot of unsafe-blocks). It could even complement Rust, in that regard. The biggest problem might be that ATS looks like a very intimidating language already (I have not tried it myself, so that is just my impression, but the creator seems to share the same sentiment), which might a bit too much of a burden for this purpose.