Introduction to Programming in ATS Link: https://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html Discussion: https://news.ycombinator.com/item?id=50356913