Home Page for ATS

Home Page for ATS. Nischensprachentag bei RFC1437. Interessant ist die Sprache, weil sie den Anspruch erhebt die Performance von C erreichen zu können, da die internen Typen auf Maschinentypen und maschinennahe Formen reduziert werden können – wie z.B. Pointerarithmetik – ohne die Typsicherheit und Runtime-Sicherheit von gemanagten Systemen zu verlieren. Also so ein bischen den Kuchen essen und behalten. Dazu kommen einige interessante Inspirationen (zum Beispiel Modula-3 für das Modulsystem). Kombiniert mit einer nicht zu wilden Syntax, die angenehm kompakt wirkt. Ebenfalls interessant: die Sprache hat unter anderem den interaktiven Beweis der Korrektheit von Programmen zum Ziel, und bietet dafür einige sehr spannende Tools an – was gerade bei Low-Level-Programmen interessant ist, wie z.B. Kernelfunktionen oder Steuerungssysteme.