I 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/t

I 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.