[ATS homepage](http://www.ats-lang.org/) [ATS on Wikipedia](https://en.wikipedia.org/wiki/ATS_%28programming_language%29) I don't know this language yet, but I'm signing up for a talk to provide external motivation.