The Joy of ATS 1: Installing ATS

The first in a series of ATS tutorials on how to install ATS on *nix Operating Systems.

Ryan King

8 minute read

Building the latest version of ATS

Update (2/20/2017): Added a section on how to use ATS with Docker as well as support for install ATS packages using NPM (tutorial coming in a future installment of this series)! Introduction Welcome to a new series of tutorials that I plan on writing over the course of the next several months called “The Joy of ATS.” For starters, you may not be familiar with ATS, as I wasn’t until a few months ago.

How to Install ATS

A quick guide on how to install ATS on *nix operating systems.

Ryan King

6 minute read

A simpe ATS program

Update (2/14/2017): This tutorial is now out dated! Please see the updated one here! What is ATS? From the ATS2 website, ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS.