ATS_(programming_language)
's information is
Birth and death years unknown
In computing, ATS (Applied Type System) is a multi-paradigm, general-purpose, high-level, functional programming language. It is a dialect of the programming language ML, designed by Hongwei Xi to unify computer programming with formal specification. ATS has support for combining theorem proving with practical programming through the use of advanced type systems. A past version of The Computer Lan
* Calculated from Wikipedia data.
Accuracy is not guaranteed.
| ATS | |
|---|---|
 | |
| Paradigms | multi-paradigm: functional, imperative, object-oriented, concurrent, modular |
| Family | ML: Caml: OCaml: Dependent ML |
| Designed by | Hongwei Xi |
| Developer | Boston University |
| First appeared | 2006 |
| Stable release | ATS2-0.4.2
/ November 14, 2020 |
| Typing discipline | static, dependent |
| License | GPLv3 |
| Filename extensions | .sats, .dats, .hats |
| Website | www |
| Influenced by | |
| Dependent ML, ML, OCaml, C++ | |
Look up "ATS_(programming_language)" on WikipediaWikipedia Categories
- Functional languages
- All pages needing cleanup
- Dependently typed languages
- Cross-platform free software
- Systems programming languages
- Free and open source compilers
- ML programming language family
- High-level programming languages
- Declarative programming languages
- OCaml programming language family
- All articles that are too technical
- Multi-paradigm programming languages
- Object-oriented programming languages
- Programming languages created in 2006
- Statically typed programming languages
- Extensible syntax programming languages
- All articles lacking reliable references
- Software using the GNU General Public License
- Articles lacking reliable references from March 2018
Loading...