In computing, ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support for combining theorem proving with practical programming through the use of advanced type systems.[2] A past version of The Computer Language Benchmarks Game has demonstrated that the performance of ATS is comparable to that of the C and C++ programming languag
![ATS (programming language) - Wikipedia](https://cdn-ak-scissors.b.st-hatena.com/image/square/328696a82291ada6a6503d4395da4675f6f4700c/height=288;version=1;width=512/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2F2%2F23%2FThe_ATS_Logo.svg%2F1200px-The_ATS_Logo.svg.png)