ATS (programming language)

ATS, short for Applied Type System, is an open source programming language designed to unify programming with formal specification. It supports combining theorem proving with practical programming through the use of advanced type systems, so a programmer can state and check properties of a program alongside the code that implements it. The Programming Language Database credits Hongwei Xi with creating it in 2013, and records that early development took place at Boston University and that its domain ats-lang.org was registered in 2007. A past version of the Computer Language Benchmarks Game showed performance comparable to that of C and C++. The database lists DML, ML, OCaml and C as related languages, and its examples include a hello-world program and a dining philosophers thread example.