Ada (programozási nyelv)

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2020. augusztus 21-én felülvizsgált verziótól ; az ellenőrzések 26 szerkesztést igényelnek .
Ada
Szemantika több paradigma : kompetitív , általánosított, imperatív , objektumorientált , elosztott programozás, párhuzamos
Nyelvóra széles spektrumú programozási nyelv [d] ,többparadigmás programozási nyelv,kötelező programozási nyelv,objektumorientált programozási nyelvésprogramozási nyelv
A végrehajtás típusa összeállított
Megjelent 1980
Szerző
  • MIL-STD-1815/Ada 83: Jean Ishbia
  • Ada 95: Tucker Teft
  • Ada 2005: Tucker Teft
Fejlesztő Ishbia, Jean és S. Tucker Taft [d] [1]
Kiadás Ada 2012 (2012. december 10. ) ( 2012-12-10 )
Teszt verzió Ada 2012 [3] (2011. november ) ( 2011-11 )
Típusrendszer statikus , szigorú , biztonságos , névelő
Főbb megvalósítások AdaCore GNAT ,
MapuSoft Ada-C/C++ Changer (AdaMagic) [4] ,
Green Hills Software Optimizing Ada 95 fordító,
PTC ObjectAda [5] ,
DDC-I Score
Dialektusok SPARK , Ravenscar profil
Befolyásolva ALGOL 68 , Pascal , C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005), Eiffel (Ada 2012)
befolyásolta C++, Eiffel , M10, M9.3, MAYA, Seed7 , PL/SQL , Nim
Weboldal adaic.org
 Médiafájlok a Wikimedia Commons oldalon

Az Ada ( Ada ) egy programozási nyelv , amelyet 1979-1980 -ban hoztak létre az Egyesült Államok Védelmi Minisztériumának projektjének részeként , amelynek célja egy egységes programozási nyelv fejlesztése volt a beágyazott rendszerek (vagyis az automatizált rendszerek valós idejű vezérlőrendszerei) számára. Mindenekelőtt a katonai létesítmények (hajók, repülőgépek, tankok, rakéták, lövedékek stb.) fedélzeti vezérlőrendszereire gondoltak. A fejlesztőknek nem az volt a feladata, hogy egy univerzális nyelvet alkossanak, ezért az Ada szerzőinek döntéseit a választott témakör adottságaival összefüggésben kell meghozni. A nyelv Ada Lovelace nevéhez fűződik .

Jellemzők

Eredeti, 1983-ban szabványosított formájában az Ada egy strukturált , moduláris programozási nyelv, amely magas szintű párhuzamos folyamatprogramozási eszközöket tartalmaz. Az Ada szintaxisát olyan nyelvekből örökölték, mint az Algol vagy a Pascal , de kibővítve, szigorúbbá és logikusabbá tették. Az Ada egy erősen tipizált nyelv , kizárja a típusokkal nem rendelkező objektumokkal való munkát , és az automatikus típuskonverziók abszolút minimumra csökkennek: megengedett egy közönséges egész vagy valós numerikus típus értékének implicit öntése egy kompatibilis numerikus típusba. [6] . Az 1995-ös szabványban az alapvető objektum-orientált programozási eszközök kerültek a nyelvbe , a 2007-es szabványban ezeket az eszközöket kiegészítették, így a modern Ada egy objektum-orientált programozási nyelv.

Szintaxis

A nyelv nem tesz különbséget a kis- és nagybetűk között. A szintaxis Algol-szerű, az 1970-es évek végének nyelveinek szellemében: minden kulcsszóval kezdődő vezérlőstruktúra kulcsszóra végződik, és lehetővé teszi tetszőleges számú operátor elhelyezését, ami kiküszöböli a benne rejlő gyakran kritizált hátrányt. Algol-60-ban és Pascalban: a gyakori "kezelői zárójelek" használatának szükségessége begin-end. A szintaxis részleteit úgy tervezték, hogy csökkentsék a véletlen hibák esélyét. Például tilos több aláhúzás használata egymás után az azonosítókban. A különböző vezérlőstruktúrák végső kulcsszavai eltérőek: a feltételes utasítások ifkombinációval végződnek, a end ifciklusok kombinációval end loop, egy feleletválasztós operátorral end casestb. A strukturális kivételek kezelése a nyelv szintaktikai szintjén támogatott .

A nyelv fejlett típusrendszerrel rendelkezik, mind beépített, mind a programozó által generált. Számos módja van új típusok létrehozásának, a nyelv két különböző fogalmat támogat: "altípus" és "származott típus". A típus és az altípus változói kompatibilisek, a típus és a származtatott típus változói nem.

Az eljárások és funkciók támogatják a bemeneti és kimeneti paramétereket, a paraméterek név szerinti átadását, valamint az alapértelmezett értékekkel rendelkező paramétereket. Az eljárások, funkciók és operátorok újradefiniálása támogatott  - egy eljárás, függvény vagy operátor több változatának létrehozása azonos névvel, de eltérő aláírásokkal (paraméterek típusai és száma).

A programok modulárisak, a modulok közötti leírások import-exportálását vezérlő mechanizmus két különböző direktívát tartalmaz: az egyik egy másik modul csatlakoztatására ( with), a másik a leírásainak importálására szolgál ( use). Lehetőség van a modul átnevezésére is importáláskor ( rename) - ez az opció lehetővé teszi olyan azonosítók használatát, amelyek a programozó számára kényelmesebbek a csomag kijelölésére. A csomagok (a modulok egyik típusa) tartalmazhatnak fejlécet és privát részt - ami benne van, az nem kerül exportálásra, és nem érhető el más modulok számára. Az általánosított (általános) modulok mechanizmusa támogatott : olyan csomagok, eljárások és funkciók, amelyek lehetővé teszik az adatfeldolgozási algoritmusok leírását anélkül, hogy egy adott típust megadnának.

A nyelvbe párhuzamos programozási támogatási struktúrák vannak beépítve : a „task” (egy párhuzamosan végrehajtott programrészlet), a „task input” (párhuzamos feladatok szinkronizálásának és kommunikálásának eszköze) fogalmak támogatottak, a találkozási mechanizmus (protokoll) támogatott. párhuzamos feladatok interakciójához az egyik bemenetén keresztül, van egy választási operátor SELECTa feltételes szálak közötti interakció megszervezéséhez (egy párhuzamos feladat kiválasztása, amellyel interakcióba lép, a találkozásra való felkészültségtől és néhány egyéb feltételtől függően). A nyelven elérhető párhuzamos programozási eszközök elvileg elegendőek számos olyan feladat megoldására, amelyek párhuzamos feldolgozást igényelnek külső eszközök, például további könyvtárak vagy operációs rendszer API-k igénybevétele nélkül.

A megbízhatóság követelményeinek való megfelelés érdekében a nyelvet úgy tervezték meg, hogy a lehető legtöbb hibát észlelje a fordítási szakaszban . Emellett a nyelv fejlesztésének egyik követelménye a programszövegek lehető legkönnyebb olvashatósága volt , még az írhatóság rovására is [7] . Ennek a megközelítésnek az eredménye egy kissé "nehézsúlyú" szintaxis és számos korlátozás, amelyek hiányoznak a leggyakoribb általános célú nyelvekben (például C és C ++ ), például ugyanaz az erős gépelés . Ez vezetett az ada gondolatának kialakulásához, mint egy bonyolult, homályos és kényelmetlen nyelvhasználathoz [8] .

Helló Világ!

Mintaprogram Hello, world! »:

with Ada.Text_IO ; eljárás Hello a use Ada.Text_IO ; begin Put_Line ( "Szia, világ!" ); vége Hello ;

Itt a függvény használatához az Put_Lineazt tartalmazó csomag Ada.Text_IOimportálásra kerül a use konstrukcióval, amely lehetővé teszi a függvény minősítés nélküli név szerinti meghívását - a függvényt tartalmazó csomag nevének megadásával a hívásban.

Történelem

A nyelv fejlesztése az Egyesült Államok Védelmi Minisztériuma által szervezett és finanszírozott nemzetközi verseny része volt . A fejlesztés célja egy olyan programozási nyelv beszerzése volt, amely egységessé válhat a katonai osztály által megrendelt projektek fejlesztéséhez, elsősorban a beágyazott katonai rendszerek fejlesztéséhez és a nagy katonai számítógépekhez ( az Intel iAPX 432 processzora alapján). ). A munka 1975 -ben kezdődött egy olyan nyelvi követelményrendszer kialakításával, amely teljes mértékben kielégíti az ilyen típusú rendszerek fejlesztőit. A "Strawman" ("Szalma") kódnéven kiadott kezdeti követelménylistát számos szervezetnek és cégnek benyújtották felülvizsgálatra, két éven keresztül folyamatosan finomították, áthaladva a "Woodenman" ("Fa") néven. , "Tinman" (" Bádog"), "Ironman" ("Iron"), és végül a "Steelman" ("Acél") néven végleges dokumentummá vált. A Steelman 1978 júniusában jelent meg [DoD 1978] [9] .

Az elemzés még a követelmények kialakításának végleges befejezése előtt azt mutatta, hogy a meglévő programozási nyelvek egyike sem elégíti ki kellőképpen a követelményeket, ezért egy új nyelv fejlesztése mellett döntöttek. Az elkészítésére 1977 - ben versenyt hirdettek , a fejlesztőket arra kérték, hogy a három nyelv valamelyikére alapozzák: Pascal , Algol-68 vagy PL/1 . A pályázatra benyújtott 15 projekt közül 4-et választottak ki (mindegyik Pascal alapján). Ezeket a projekteket továbbfejlesztésre küldték. A következő szakaszban 4 projektből kettőt választottak ki, amelyek közül egy újabb felülvizsgálat után egyet választottak ki. Ezt a nyelvet "Adának" hívták – a francia Jean Ishbia vezette csoport, amely kidolgozta, Augusta Ada King Lovelace (1815-1852), George Byron költő lánya tiszteletére nevezte el , aki programokat fejlesztett ki Babbage számítógépéhez. és a világ első programozójaként tartják számon.

1983 -ban az ANSI hivatalosan szabványosította a nyelvet . Az ANSI /MIL-STD-1815-A-1983 nyelvi szabványt 1983. február 17-én hagyták jóvá . Az Egyesült Államok Védelmi Minisztériuma bejegyzett védjeggyé nyilvánította az "Ada"-t, megtiltva azon nyelv fordítóinak kiadását , amelyek nem feleltek meg a szabványoknak való megfelelés hivatalos tesztelési eljárásán. Az eljárás abból állt, hogy nagyszámú (több mint 1000) tesztprogramot (az ún. ACVC-készletet) lefuttattak a vizsgált fordítón keresztül , amelyek mindegyikénél egyértelműen meghatározásra került a teszt eredménye: vagy sikeres fordítás, vagy nagyon konkrét hibaüzenet. A tesztelés a „mindent vagy semmit” elv szerint történt - ha legalább egy teszteset feldolgozása során hiba lépett fel, a fordító nem ment át a teszten, és a tesztelés csak a hardver és szoftver platformon volt érvényes. amelyet végrehajtottak. Ily módon az adai nyelv dialektusai kialakulásának lehetőségét csípték el.

1987 -ben az Ada nyelvet az ISO hivatalosan szabványosította . Azóta az Egyesült Államok Védelmi Minisztériuma nyilvánossá tette a nyelvet .

1990-ben már körülbelül 200 olyan fordító volt a világon , amely megfelelt az ada nyelvi szabványnak.

1995 -ben új Ada szabványt fogadtak el, Ada95 néven. Objektumprogramozási eszközök kerültek be a nyelvbe. Emellett a nyelvet fejlettebb eszközökkel egészítették ki a más nyelven írt programokkal való interakcióhoz.

2007 márciusában megjelentek az Ada szabvány módosításai [10] . Főleg az objektum-orientált programozás lehetőségeit érintették : interfészeket vezettek be , átvették a legtöbb hibrid nyelvre jellemző metódushívás szintaxisát, és számos kiegészítést tettek.

2012-ben az ISO új nyelvi szabványt fogadott el és adott ki [11] .

Ada a Szovjetunióban és Oroszországban

1984-ben Melor Sturua szovjet újságíró az Izvesztyija újságban a következő értékelést adta az Ada programozási nyelvről:

A Pentagon nyelv a világ ellensége. Az "Ada" nyelve a termonukleáris pokol hangja... Az "Ada" nyelvén az emberi faj átkát hallani.

- M. G. Sturua . 1984 és "1984" [12]

Az 1980-as években a Szovjetunió Állami Tudományos és Technológiai Bizottsága alatt az ada nyelvével foglalkozó munkacsoportot szerveztek . A csoport minden nyílt (és a pletykák szerint titkos hírszerzés útján szerzett) adat tanulmányozásával foglalkozott az ada nyelvével kapcsolatban, és megvizsgálta az Ada fejlesztésének és használatának lehetőségét és célszerűségét a Szovjetunióban. Ennek a csoportnak a tevékenysége az 1980-as évek végére az Ada fordítóprogramok kifejlesztéséhez vezetett, szinte minden, a Szovjetunióban használt számítógéphez. Ada nyelvéről több könyv is megjelent oroszul.

A Moszkvai Állami Egyetemen saját csomagokat hoztak létre a reklámfordítók szabványoknak való megfelelésének tesztelésére. A Leningrádi Állami Egyetemen az Ada rendszer létrehozásához a korábban az Algol-68 megvalósítására kifejlesztett Pallada rendszert használták, amelyet átvittek Adára. A rendszer tartalmaz egy integrált fejlesztői környezetet, egy fordítót, egy szövegszerkesztőt, egy hibakeresőt, könyvtárakat, egy verzióvezérlő rendszert és egy parancsértelmezőt.

A Szovjetunió összeomlása után az Ada forgalmazásával kapcsolatos munka gyakorlatilag megszakadt. Igaz, Adán három szoftverfejlesztési programot fogadtak el (a Honvédelmi Minisztériumban , a Polgári Légiközlekedési Minisztériumban és az Oktatási és Tudományos Minisztériumban ), de ezek fejlesztése lassú és koordinálatlan. Ennek eredményeként az Ada nyelvet kevéssé ismerik Oroszországban , a legtöbb modern orosz programozó „halott nyelvnek” tartja, és semmit sem tud róla. Az Ada-t Oroszországban és a FÁK -ban az egyéni rajongók használják. A nyelvet azonban ipari szoftverfejlesztésre használják. Számos projektet fejlesztettek ki Adán és Oroszországban. Közöttük:

  • Az RF Védelmi Minisztérium dokumentumkommunikációs állomása. A fő feladat a dokumentuminformációk cseréjének biztosítása az Orosz Föderáció Védelmi Minisztériumának adatátviteli hálózataiban. A szoftver- és hardverkomplexumot a "Computer Engineering and Automation Tools" (hardver) gyártó szervezet és a Strela észak-kaukázusi légiforgalmi irányító központ off-piste szektorából származó programozók egy csoportja közösen fejlesztette ki. A komplexum szoftvere Ada programozási nyelven íródott a GNAT fordító segítségével . Az elosztott számítástechnikát egy további GLADE komponens támogatja .
  • Szabványos repülési, navigációs és kommunikációs berendezések komplexuma az orosz Beriev Be-200 kétéltű repülőgépekhez . A fejlesztést a Zsukovszkij-i Repülési Berendezések Kutatóintézete végezte az amerikai Allied Signal céggel közösen, Florida államban. A DDC-I cég pokolrendszereinek fejlesztési komplexumát használták Intel 80486 platformon .

Kritika

Megalakulása óta az Adát számos elismert szaktekintély kritizálja a programozási nyelvek fejlesztése terén, elsősorban a szintaxis bonyolultsága és a nagy mennyiség miatt. A nyelvet különösen Charles Hoare és Niklaus Wirth (akik projektjükkel részt vettek ezen a versenyen, de az első szakasz után kiestek), valamint Edsger Dijkstra kritizálták .

Dijkstra kételkedett abban, hogy egy olyan összetett nyelvet, mint Ada, meg lehet-e látni és kezelni.

Ha az Ada szabványt kíván kiadni, kívánatos, hogy azt egyértelműen dokumentálják. Legalább két csoport megkísérelte ezt; ennek eredményeként mindkettő mintegy 600 oldalnyi hivatalos szöveget készített. Ez sokkal több annál, mint ami ahhoz szükséges, hogy ne lehessen még szilárdan megállapítani, hogy mindkét dokumentum ugyanazt a nyelvet határozza meg. A két dokumentum látszólagos kezelhetetlenségének hibája nem az őket összeállító két csoportban, nem az általuk elfogadott formalizmusban rejlik, hanem csak magában a nyelvezetben: anélkül, hogy formális definíciót adnának, a fejlesztők el tudják-e rejteni, hogy kezelhetetlen szörnyeteget kínálnak. . Az, hogy az Ada csökkenti a programozási problémákat és az elfogadható határokig növeli terveink megbízhatóságát, csak egyike azon meséknek, amelyeket csak katonai hátterű emberek hihetnek el.

– Sci-fi és tudományos valóság a számítástechnikában (Edsger W. Dijkstra, EWD952)

Hoare sajnálatát fejezte ki amiatt, hogy "a csörgők és a csecsebecsék elsőbbséget élveztek a megbízhatóság és a biztonság alapvető követelményeivel szemben", és óva intett attól, hogy "az Ada fordítóprogram fel nem tárt hibája miatt rossz irányba repülnek a rakéták armadája". Niklaus Wirth visszafogottabban , de negatívan is beszélt. Azt mondta: „Túl sokat dobnak a programozóra. Nem hiszem, hogy Ada harmadát tanulva az ember normálisan tud dolgozni. Ha nem sajátítja el a nyelv minden részletét, akkor a jövőben megbotlik bennük, és ez kellemetlen következményekkel jár . Jean Ishbia , az Ada fejlesztői csapatának vezetője, miközben kifejezte "tiszteletét és csodálatát" Wirth iránt, ezzel nem értett egyet, mondván: "Wirt hisz a bonyolult problémák egyszerű megoldásában. Nem hiszek az ilyen csodákban. Az összetett problémák komplex megoldásokat igényelnek."

A fordító nyelvi szabványnak való megfelelőségének teszteléssel történő ellenőrzésének eljárása is kétségeket vet fel. Általános megfontolások alapján egyértelmű, hogy a tesztelés találhat ellentmondásokat, de nem garantálja a helyességet. Ennek gyakorlati megerősítése az a tény, hogy a hitelesített fordítók, amikor egy másik tesztsorozaton tesztelték, nem feleltek meg a szabványnak [14] .

Az Ada támogatói azzal érvelnek, hogy a nagy projektekben a nagy és összetett nyelv egyetlen alternatívája több kompakt nyelv használata, ami elkerülhetetlenül kompatibilitási problémákat okoz, amelyektől az Adát azért találták ki, hogy megszabaduljon tőle. Azt is megjegyzik, hogy az Ada fejlesztésének összetettségének fogalma csak részben igaz: egy egyszerű program megírása Adában több időt vesz igénybe, mint más kevésbé formális nyelveken, mint például a C , de a programok, különösen a nagy és összetett programok hibakeresése és karbantartása nagymértékben leegyszerűsítve. Stephen Zeiger, a Rational Software Corporation munkatársa szerint [15] a szoftverfejlesztés Adában általában 60%-kal olcsóbb, és a kifejlesztett programnak 9-szer kevesebb hibája van, mint a C nyelv használata esetén.

Megoszlás, perspektívák

A gyakorlatban kiderült, hogy Ada, miután elfoglalta a számára szánt rést a katonai és a beágyazott rendszerek kapcsolódó fejlesztéseiben, nem lépte túl ezt a rést sem Nyugaton, sem a Szovjetunióban, sem a posztszovjet térben. Ennek számos oka van. A nyelv ellenzői annak összetettségére és hiányosságaira támaszkodnak, a támogatók mindenekelőtt a nyelv megjelenésének objektív körülményeiről és a megvalósítás folyamatának negatív oldalairól beszélnek. S. I. Rybin, a Moszkvai Állami Egyetem tudományos főmunkatársa, az AdaCore EU tanácsadója, az ISO nyelvi szabványokkal foglalkozó munkacsoportjának ada nyelvének szakértője szerint [14] , az Ada két fő oknak köszönheti kudarcait:

  • A nyelv tervezése során a Pentagon azt feltételezte, hogy minden új szoftver csak Adában készül. Emiatt Ada rendkívül primitív eszközöket kapott a más nyelvű programokkal való interakcióhoz. A gyakorlatban kiderült, hogy általában mindent Adán írni irreális (már csak azért is, mert szükségessé vált a kész fejlesztésekkel való interakció más nyelveken). Ezért azokban az iparágakban, ahol nem volt szigorú követelmény, hogy „csak Adán írjunk”, más nyelveket részesítettek előnyben, jobban alkalmazkodva a többnyelvű környezethez. Az 1995-ös szabványban megoldódott a más nyelvekkel való interoperabilitás problémája, de az idő elveszett.
  • Paradox módon Ada terjedését a Pentagon anyagi és szervezeti támogatása akadályozta meg. A katonaság számára írt Ada programok az elérhető legerősebb számítástechnikai technológián futottak, így a fordítóprogram-fejlesztők először az ACVC-teszteken való áteséssel foglalkoztak, és csak azután a fordító és az általa létrehozott kód hatékonyságával. Az 1980-as évek elején kezdődött a mikroszámítógépek fellendülése, és a gyakori nyelvek (Pascal, C, BASIC) fordítóit gyorsan optimalizálták az alacsony fogyasztású rendszerekre. Ada számára nem volt ösztönzés az ilyen modernizációra, ennek eredményeként a személyi számítógépek, amelyek néhány évvel később a világ számítógépparkjának legnagyobb részét képezték, kiváló minőségű Ada-fordító nélkül találták magukat. Ada természetesen elvesztette ezt a piaci szegmenst. Csak viszonylag nemrég jelent meg a GNAT fordító , jó minőségű és produktív, de itt is elveszett az idő.

Ennek ellenére egyes óvatos előrejelzések szerint az olcsóbb hardverek és a komplex szoftveres beágyazott rendszerek térhódítása miatt az adai programok piaca jelentősen megnőhet:

… Az Ada meglehetősen szilárdan a nagy megbízhatósági követelményeket támasztó nagy beágyazott rendszerek résében van, és nem valószínű, hogy belátható időn belül átadja helyét bárkinek is ebben a résben. Ahogy a hardverkomponensek teljesítménye nő, miközben költségeik csökkennek, a beágyazott rendszerek egyre bonyolultabbá válnak, és kiderülhet, hogy az Ada alkalmazások potenciális piaca hamarosan jelentősen megnő.

- Interjú S.I. Rybina [14]

Ráadásul Adának – bár nagyon korlátozottan – van jelentkezése a felsőoktatásban. A Moszkvai Állami Egyetemen és a Harkovi Egyetemen Adáról speciális kurzusokat tartanak. S. I. Rybin szerint azonban

... most a posztszovjet térben a szoftveripar és az oktatás területén egy nyilvánvaló ördögi kör alakult ki: az iparban gyakorlatilag nem tudnak Adáról, illetve nincs igény az ipar részéről az oktatásra. Adai szakembereket képeznek, az egyetemekről pedig új emberek érkeznek az iparba, akik gyakorlatilag semmit sem tudnak Adáról.

Operációs rendszerek

Számos operációs rendszert írnak Adában, köztük a MaRTE archivált 2017. július 10-én a Wayback Machine -nél , RTEMS (a DARPA által kifejlesztett nyílt forráskódú rendszer , az Egyesült Államok Védelmi Minisztériuma , rakétarendszerekben és a Mars Reconnaissance Orbiter fedélzetén használták vezérlő rádiómodul "Electra"), Ravenskar , RTOS-32 . Számos további projekt van fejlesztés alatt az Adán operációs rendszerek létrehozására, köztük - az AuroraUX - az OpenSolaris kernel  újraírására szolgáló projekt , majd - a DragonFly BSD , valamint egy Lovelace rendszer létrehozására irányuló projekt az L4 mikrokernelen .

Korábban más operációs rendszereket írtak Adában, köztük - BiiN, Pulse, AdaOS.

Jelenleg a Muen [16] operációs rendszer fejlesztése zajlik , Ada és SPARK nyelven íródott, oktatási operációs rendszer Ada Bare bones [17] , Microkernel Ada (TAMP [18] ) használatos.

Ada fordítók

Név Vállalat Változat Célplatformok Weboldal
DragonLace projekt fordítók (GNAT AUX és jövőbeli DRACO Ada fordítók) közösségi projekt Ada - a nyelv összes verziója; fordítói verziók: 4.9.x vagy 6.3.x (különböző platformokhoz) LLVM, DragonFly, FreeBSD, NetBSD, OpenBSD, OmniOS, Android http://www.dragonlace.net/ Archiválva : 2018. március 31. a Wayback Machine -nél
Ada-C/C++ Changer (AdaMagic technológián alapuló) MapuSoft Ada 83, Ada 95, az Ada 2005 egy részhalmaza C, C++ www.mapusoft.com Archiválva : 2016. november 21. a Wayback Machine -nél
Ada/Ed New York-i Egyetem Ada 83 MS-DOS x86 , UnixWare www2.informatik.uni-stuttgart.de
AdaMagic SofCheck Ada 95 ? www.sofcheck.com Archiválva : 2021. március 4. a Wayback Machine -nél
AdaMULTI Green Hills szoftver Ada 83, Ada 95, C , C++ , Fortran Solaris SPARC , GNU / Linux x86 , Windows www.ghs.com Archiválva : 2021. január 15. a Wayback Machine -nél
DEC Ada Hewlett-Packard Ada 83 openvms h71000.www7.hp.com
SZÚNYOG AdaCore Ada 83, Ada 95, Ada 2005, Ada 2012, C Solaris SPARC, Linux x86/ x86-64 , Windows, Java virtuális gép , egyéb libre.adacore.com Archivált 2005. február 12-én a Wayback Machine -nél
ICC Irvine Compiler Corporation Ada 83, Ada 95 DEC VAX / VMS , HP 9000/700 , Solaris SPARC , DEC Alpha OSF/1 , PC Linux , SGI IRIX , Windows www.irvine.com Archiválva : 2009. május 2. a Wayback Machine -nél
Janus/Ada RR szoftver Ada 83, Ada 95 SCO , UnixWare , Interactive , MS-DOS , Windows www.rrsoftware.com Archivált 2022. január 21-én a Wayback Machine -nél
MAXAda Egyidejű Ada 95 Linux/ Xeon , PowerPC www.ccur.com Archiválva : 2011. szeptember 3. a Wayback Machine -nél
ObjectAda PTC Ada 95, Ravenskar Solaris SPARC, VxWorks , HP-UX , IBM AIX , Linux, Windows, Java virtuális gép / Java böngésző támogatással www.ptc.com Archivált : 2016. október 10. a Wayback Machine -nél
PowerAda OC rendszerek Ada 83, Ada 95 Linux, AIX (Ada 95); IBM System 370/390 (Ada 83) www.ocsystems.com Archiválva : 2010. augusztus 24. a Wayback Machine -nél
Racionális csúcs IBM Rational Ada 83, C, C++ Solaris SPARC Linux www-01.ibm.com Archiválva : 2009. szeptember 27. a Wayback Machine -nél
PONTSZÁM DDC-I Ada 83, Ada 95, C, Fortran Solaris SPARC, Windows www.ddci.com
XD Ada SWEP-EDS Ada 83 OpenVMS Alpha/VAX www.swep-eds.com
XGC Ada XGC szoftver Ada 83, Ada 95, C Solaris SPARC, PC Linux, Windows ( Cygwin ) www.xgc.com Archiválva az eredetiből 2013. február 9-én.
LLVM ( alacsony szintű virtuális gép ) LLVM fejlesztői csoport a legtöbb UNIX-szerű rendszeren és Windowson llvm.org
A# (az Ada portja a Microsoft .NET platformra ) Amerikai Légierő Akadémia ( GNU ) ablakok asharp.martincarlisle.com Archivált 2011. július 2. a Wayback Machine -nél

Az LLVM , a GNAT és az XGC kivételével (egyes platformokon) a fenti fordítók fizetősek. Egyes cégek, például az Aonix , ingyenes demókat kínálnak, amelyek időben vagy funkcionalitásban korlátozottak.

A NetBeans [19] és az Eclipse fejlesztői környezetek bővítményekkel rendelkeznek az Adával való együttműködéshez.

Befolyás

Az Ada szintaxisát nagyrészt olyan nyelveken reprodukálják, mint a PL/SQL (és később a PL/pgSQL ), VHDL , SPARK .

Az E [20] és a Clarity [21] programozási nyelvekben , majd sok másban: például az Erlang , Fortress , Chapel , X10 , D és Go nyelveken az elosztott, többfeladatos, többszálú számítástechnika ötletei. , amelyeket maga a nyelv valósít meg, továbbfejlesztették, nem pedig külső könyvtárak, amelyeket először az ada nyelvben alkalmaztak széles körben a gyakorlatban.

Eszközök

  • Open-DO archiválva 2018. április 1-én a Wayback Machine -nél – egy projekt, amely speciális nyílt forráskódú, minősített szoftvereszközöket és tanúsítható összetevőket készít az Open-DO-hoz ("DO-178C"), amely a légi szoftverek repüléselektronikai szabványának új változata.

Tartalomarchívumok

  • Ada programnyelvi anyagok, 1981–1990 . Charles Babbage Institute , Minnesota Egyetem. Tartalmazza az Ada nyelvre fejlesztett szoftvertermékekről szóló irodalmat, az Egyesült Államok kormányának kiadványait, beleértve az Ada 9X projektjelentéseket, műszaki jelentéseket, munkaanyagokat, hírleveleket; és felhasználói csoport információit.
  • A Public Ada Library (PAL) több száz megabájtnyi, Adával kapcsolatos információ ingyenes tárháza. A PAL programokat, összetevőket, eszközöket, általános információkat és oktatóanyagokat tartalmaz az Ada számára. Jól ismert kanonikus helycímmel rendelkezik: [1] (WUArchive - Washington University Public Archives Address ... [128.252.135.4]), amely azonban nem mindig elérhető a hálózaton. A Walnut Creek 1995-ben 2 CDROM-ot adott ki, amelyek az 1995. április 28-i állapot szerint a Public Ada Library (PAL) teljes példányát képezik. Ezeknek a lemezeknek a képei elérhetők [22] az Internet Archívumban.

Szervezetek

  • Az Ada Megfelelőségértékelési Hatóság (ACAA) [23] felelős az Ada megfelelőségértékelések kezeléséért.

Jegyzetek

  1. ↑ 1 2 3 https://blog.adacore.com/author/taft
  2. ↑ https://www.adahome.com/Rogues/taft.html
  3. ↑ Ada 2012 Language Reference Manual . ada-auth.org. Hozzáférés dátuma: 2014. január 27. Az eredetiből archiválva : 2011. február 28.
  4. ↑ MapuSoft Ada-C/C++ váltó (AdaMagic) . MapuSoft (2016. július 22.). Hozzáférés dátuma: 2017. február 12. Az eredetiből archiválva : 2016. november 21..
  5. ↑ PTC ObjectAda . PTC. Letöltve: 2017. február 12. Az eredetiből archiválva : 2016. október 10.
  6. ↑ Ada nyelvi kézikönyv. 4.6. Típus konverzió. . Letöltve: 2019. július 26. Az eredetiből archiválva : 2019. január 1..
  7. ↑ Ada Language Reference Guide 83. 1.3. fejezet. A fejlesztés céljai és forrásai . Letöltve: 2007. november 22. Az eredetiből archiválva : 2008. szeptember 7..
  8. ↑ Vadim Stankevics. A pokol hölgye . Letöltve: 2007. november 22. Az eredetiből archiválva : 2008. május 22..
  9. ↑ Steelman dokumentum . Letöltve: 2019. március 23. Az eredetiből archiválva : 2019. március 23.
  10. ↑ Frissített szabvány az iso.org oldalon . Letöltve: 2008. április 10. Az eredetiből archiválva : 2007. május 2..
  11. ↑ Ada 2012 . Letöltve: 2016. november 4. Az eredetiből archiválva : 2016. szeptember 12..
  12. ↑ Izvesztyija, 1984. január 15. (elérhetetlen link) . Letöltve: 2008. június 30. Az eredetiből archiválva : 2008. szeptember 15.. 
  13. ↑ Bryabrin V. M. Szoftver személyi számítógépekhez. Moszkva: Nauka, 1988.
  14. ↑ 1 2 3 Interjú S. I. Rybinnel . Letöltve: 2008. április 10. Az eredetiből archiválva : 2008. május 15.
  15. ↑ Stephen Zeigler, C és Ada fejlesztési költségeinek összehasonlítása. Archiválva az eredetiből 2007. április 4-én.
  16. ↑ Muen | SK x86/64-hez  (angol) . muen.codelabs.ch. Letöltve: 2017. december 13. Az eredetiből archiválva : 2020. november 12.
  17. ↑ Ada Bare bones - OSDev Wiki  . wiki.osdev.org. Hozzáférés időpontja: 2017. december 13. Az eredetiből archiválva : 2017. december 13.
  18. ↑ Luke A. Vendég. tamp: The Ada Microkernel Project . — 2017-12-05. Archiválva az eredetiből 2018. június 11-én.
  19. ↑ Ada beépülő modulok NetBeanshez . Letöltve: 2010. október 2. Az eredetiből archiválva : 2017. augusztus 5..
  20. ↑ Mark S. Miller. Az ENative Project . Rights.org. Letöltve: 2017. január 7. Az eredetiből archiválva : 2017. február 2..
  21. ↑ Brian T. Lewis, L. Peter Deutsch, Theodore C. Goldstein, Brian T. Lewis, Theodore C. Goldstein. Clarity MCode: Újracélozható köztes reprezentáció összeállításhoz  // ACM SIGPLAN megjegyzések. - 1995-01-01. - T. 30 . – 119–128 . Archiválva az eredetiből 2013. május 8-án.
  22. ↑ A Walnut Creek CD-ROM gyűjtemény: Ingyenes szoftver: Ingyenes letöltés, kölcsönzés és streamelés: Internetes  archívum . archive.org. Letöltve: 2018. október 1.
  23. ↑ Ada megfelelőségértékelés . www.ada-auth.org. Letöltve: 2019. február 4. Az eredetiből archiválva : 2019. március 10.

Linkek

Irodalom

Szabványok
  • ISO/IEC 8652:1987 - Programozási nyelvek - Ada
  • GOST 27831-88 - "ADA programozási nyelv" (megfelel az ISO 8652:1987 szabványnak)
  • ISO/IEC 8652:1995 - Információtechnológia - Programozási nyelvek - Ada (Ada95)
  • ISO/IEC 8652:2012 - Információtechnológia - Programozási nyelvek - Ada (a szabvány jelenlegi kiadása)
 Programozási nyelvek
  1. ↑ Véletlenszám-generálás az Ada 9X-ben . ftp.mcs.anl.gov. Letöltve: 2019. február 4. Az eredetiből archiválva : 2021. augusztus 7..