ATS (programming language)

Applied Type System (ATS ) is a programming language that is being developed at the University of Boston. The focus is on an expressive type system with dependent types ( Dependent Types) and linear types. This allows, among other things, the verification of certain properties of the program by the explicit construction of proofs, and the management of resources such as dynamic allokiertem memory, open files, etc. Other objectives are a good interoperability with C, C with comparable efficiency and suitability for system programming.

Pictures of ATS (programming language)

73191
de