5 ms·
Type-Safe Pointers in ATS
- dirtydroog 7y agoIs Rust obsolete now?
- saagarjha 7y agoNo.
- sdegutis 7y agoSomeone should turn this into areweobsoleteyet.com and print no as long as currentYear < 2111 (assuming "hundred year language" naming story is true).
- Athas 7y agoATS has all the ergonomics of a burst reactor core, but as far as safe low-level programming is concerned, it has Rust beat.
- sadfev 7y agoHilarious analogy
- rurban 7y agoIt would not if would if they would do where their mouth is. But since it's neither memory safe, type safe nor concurrency safe, there is still a need for actually safe languages. But currently the need for fast and half-safe languages and lot of hype trumps everything.
- wuschel 7y agoI would love to use ATS, but it is not a easy language to learn and I find the error messages incredibly cryptic, and the syntax quite weird. Also, it seems to me that is pretty much a research language. What is the best way to learn it? Could anyone shine some light?
- doublec 7y agoI have some posts on ATS that might help, some for a slightly older version but the details about linear types, etc remain the same: https://bluishcoder.co.nz/tags/ats/ https://bluishcoder.co.nz/tags/ats/ If you know other languages the documentation is a lot better than it used to be: http://www.ats-lang.org/Documents.html http://www.ats-lang.org/Documents.html The approach I took was treating it like an SML variant, then adding the advanced features as I went along.