| 2.1 Some Primitive Sorts and Constants........................... 7 2.2 Subset Sorts........................................ 8 (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Copyright c○2002–2005 All rights reserved This tutorial presents an introduction to ATS, a comprehensive programming language with a highly expressive type system rooted in the framework Applied Type System that supports in a typeful manner a variety of programming paradigms such as functional programming, imperative programming (with explicit pointers), object-oriented programming (with multiple inheritance), meta-programming, modular programming, etc. | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||