ATS | |
---|---|
Sprog klasse | Multi-paradigme : imperativ , funktionel |
Forfatter | Hongwei Xi fra Boston University |
Blev påvirket | ML , Målsætning Caml |
Licens | GNU GPL 3 |
Internet side | ats-lang.org |
ATS (fra engelsk Applied Type System ) er et programmeringssprog, der har til formål at understøtte formel verifikation i kombination med praktisk programmering ved hjælp af et afhængigt typesystem . Udvikler - Hongwei Xi; hovedkonstruktionerne er lånt fra ML og OCaml , det tidligere Dependent ML-sprog af samme forfatter er i det væsentlige inkluderet i det nye.
Ydeevnen for ATS-programmer er sammenlignelig med C- og C++- programmernes ydeevne . Ifølge forfatteren af sproget afhænger effektiviteten af funktionelle sprog hovedsageligt af den måde, data er repræsenteret på i sproget og optimering af haleopkald , så data i ATS lagres i en simpel (flad) form eller for det meste uden indlejrede repræsentationer.