Introduction to Programming in ATS

18 points by WilhelmVonWeiner

doublec

If anyone is interested, I have a bunch of ATS posts showing how it can be used for safe handling of memory and others things.

WilhelmVonWeiner

I actually got this link from your March 23rd blog post after looking into building ATS2, because I was also looking at Rust + Verus. It seems like a very underappreciated largely language because of the prerequisite knowledge required to dig into it.
- doublec
  
  I'm interested in Verus too, and comparing to ATS2. I've been using ATS2 a bit more lately. Hopefully with the recent increased interest in proofs and software verification it'll get some extra attention.
toastal

Ttese helped me get over the intial learning humps along with the official manual. Funny that when I was doing some learning about Factor a few months later, Bluish Coder posts come up again.
rbr

I see ATS has concurrency support; can you comment on how that interacts with correctness proofs of programs? Is there something like separation logic involved, or does ATS support only spatially disjoint concurrency?