4 ms·

ATS can also do that.

• Dewie 12y ago
  Darn, forgot about that one. ATS does seem to get considerably less mention than Rust, which may be because of marketing and/or because it is even more scary than Rust (dependent types, oh my).
  • 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 ago
      It 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.