# ATS Lang

- Page: https://shared.btbytes.com/p/atslang
- Date: 2018-02-21
- Tags: programming-language

## What is ATS?

- ATS is created by [Hongwei Xi](http://www.cs.bu.edu/~hwxi/academic/publications.html)
- [Why ATS?](http://sourceforge.net/p/ats-lang/mailman/message/32204291/) from a thread titled "What is the goal of ATS".
- [ATS/LF for Coq users](http://www.slideshare.net/master_q/atslf-for-coq-users) -- presentation by Kiwamu Okabe [Sep 2015].

## Learning

- [The Joy of ATS 1: Installing ATS](http://ryanking.com/blog/joy-of-ats-1-installing-ats/) -- "the first in a series of ats tutorials on how to install ats on *nix operating systems."
- [The Joy of ATS 2: A Simple Game](http://ryanking.com/blog/joy-of-ats-2-a-simple-game/) -- "writing your first lines of code in ats."
- [Many blog posts](https://bluishcoder.co.nz/tags/ats/index.html) by Chris Double (bluishcoder.co.nz/\@doublec)
- and Vanessa McHale's [ATS blog posts](http://blog.vmchale.com/category/ATS)

## Programs written in ATS

- [vmchale/polyglot: Tool to count lines of source code.](https://github.com/vmchale/polyglot)
- [galletti94/magnificATS: Collection of ATS goodness](https://github.com/galletti94/magnificATS)
- [ats-lang/ATS-CodeBook](https://github.com/ats-lang/ATS-CodeBook) : This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.


## Talks

- [Effective Programming - Introduction to functional programming](https://docs.google.com/presentation/d/157VR0oQNTfUiiChYdbv77PYZkYKo_zkZfwRiqGv6sEY/edit#slide=id.p) by Lance Galletti


## Blog posts

- [Specific Endpoints](https://www.stackbuilders.com/news/specific-endpoints)