Applied Type System
ATS | |
---|---|
Paradigms : | functional, imperative |
Developer: | Hongwei Xi et al. (Boston University) |
Current version : | 0.0.7 (ATS 2 / Postiats), 0.2.11 (ATS / Anairiats) (April 2, 2014 (ATS 2 / Postiats), October 3, 2013 (ATS / Anairiats)) |
Typing : | strong, static, explicit |
Important implementations : | ATS / Anairiats, ATS / Postiats |
Influenced by: | ML , C |
License : | GPL 3.0 |
http://www.ats-lang.org/ |
Applied Type System ( ATS ) is a programming language currently being developed at Boston University . The focus is on an expressive type system with dependent types and linear types. This enables, among other things, the verification of certain properties of the program through the explicit construction of evidence , as well as the management of resources such as dynamically allocated memory, open files, etc. Further goals are good interoperability with C , efficiency comparable to C , and suitability for system programming .
Web links
Hongwei Xi: “Applied Type System” . Computer Science Department, Boston University, November 20, 2004 (PDF file, English, 121.4 kB)