Ada (nyelv)

Ada
Az első változat kelte 1980
Paradigma objektum orientált
Szerző Honeywell Bull CII csapat
Gépelés statikus
Befolyásolta Algol 68
Pascal
Modula-2
C ++
Smalltalk
Java
Eiffel
ALGOL 60 ( en )
Zöld ( d )
Ada 95 ( d )
Operációs rendszer Windows , Linux , VxWorks
Weboldal www.adaic.org

Az Ada egy objektum-orientált programozási nyelv, amelynek első verziói az 1980-as évek elejére nyúlnak vissza .

Bemutatás

Az Ada egy programozási nyelv , amelyet a CII-Honeywell Bull csapat tervezett, Jean Ichbiah vezetésével az Egyesült Államok Védelmi Minisztériuma (DoD) által kidolgozott előírásokra válaszul . Az első munka a projekt körül az 1970-es évek végén kezdődött, és már 1979-ben az ADA előzetes referencia kézikönyve megjelent az ACM Special Interest Group on Programming Languages folyóiratában . A projekt első hitelesített verziója az 1980-as évek elején jelent meg Ada 83 néven.

A nyelv fejlesztése érdekében Jean Ichbiah csapatát a korábbi LIS (a rendszerek megvalósításának nyelve) ihlette, amelyet a CII- nél terveztek, hogy lehetővé tegye hordozható operációs rendszerek fejlesztését (95% szerint Ichbiah).

Ada 83 ezután átvette és javult a közép -1990s hogy Ada 95, a második nemzetközileg szabványosított objektum nyelvet (megjelent1995. február, röviddel megelőzi a Common Lisp , megjelent a1994. december). A Nemzetközi Szabványügyi Szervezet (ISO) égisze alatt a nyelv javára vált egy módosítás (Ada 2005), majd az Ada 2012 nevű új felülvizsgálat.

Az "Ada" nevet Ada Lovelace tiszteletére választották , aki vitathatatlanul az első informatikus a történelemben. Azért kapcsolódik a zöld színhez, mert a DoD pályázati felhívása során a különböző javaslatokat színekkel jelölték meg, hogy elkerüljék az elfogultságot, és az a tervező csapat volt a zöld csapat.

Íme az Ada néhány különleges jellemzője:

Gyakran használják valós idejű és fedélzeti rendszerekben, amelyek magas szintű megbízhatóságot és biztonságot igényelnek. Manapság az Adát természetesen a kezdeményezője alkalmazza, de minden fejlett technikában  : Franciaországban az autóiparban, a vasúti szállításban ( Alstom , Siemens Mobility , Ansaldo STS ), a repüléstechnikában ( Thales Land and Air Systems , Thales Avionics , Airbus , Airbus Védelem és űr ) és az űrtechnológiák ( Thales Alenia Space , ArianeGroup , CNES , Arianespace ).

Mivel a 2013 , akkor lehet találni Ada fordítóprogramok egyes operációs rendszerek ( Windows- , Linux , VxWorks ) és hardver architektúrák , beleértve egy ingyenes fordító ( GNAT , benne gcc ) összeállítása adai 83/95 / 2005/2012.

Ada-t néha bevezetőként használják a fejlett számítógépes programozási tanfolyamokhoz , és bevezető programozási tanfolyamokhoz is használható .

Egyéb nyelvek az Ada mozgalomban

Ada ihlette a Pascal nyelvét, amelyből átvette a szintaxis és az építészet szellemiségét egyaránt. Az ada nyelv inspirálta Bertrand Meyer- t az Eiffel- nyelv megtervezéséhez , amely hozzáadja a szerződéses programozás fogalmait (de bizonyos szempontból kevésbé alkalmas az ipar számára). A szerződéses programozás fogalma , amelyet Bertrand Meyer formalizált az Eiffel-fel, az ada nyelv, a SPARK  (en) kiterjesztésének létrehozásához vezetett, hogy támogassa azokat a jelöléseket, amelyek lehetővé teszik a szerződéses állítások kifejezését az előírásokban. A szerződéses programozás (szubrutinok vagy objektumtípusok) mostantól integrálva van az Ada 2012 verzióba.

Ada inspirálta a PL / SQL nyelvet az adatbázisok területén, valamint a VHDL nyelvet a hardver architektúrák számára.

Az ada nyelv az alapja az IEC 61131-3 szabvány különféle nyelveinek , különösen az összes nyelv és az ST nyelv ( strukturált szöveg ) közös deklaratív részének megtervezéséhez .

- Bonjour Monde! az Ada 95-ben vagy az Ada 2005-ben

Gyakori példa a nyelv szintaxisának bemutatására a Hello world program  :

with Ada.Text_IO; -- Bibliothèque -- Déclaration de la procédure "Hello" procedure Hello is begin -- Imprimer "Hello, world!" à l'écran Ada.Text_IO.Put_Line("Hello, world!"); end Hello;

Vannak parancsikonok, Ada.Text_IO.Put_Lineamelyek kevesebb karaktert igényelnek, de itt nem használják őket a megértés kedvéért. Részletesebb magyarázatért keresse fel a Wikikönyveket: Ada Programming / Basic .

Rövid története

  • 1974  : Az Egyesült Államok Védelmi Minisztériuma rájön, hogy rengeteg pénzt pazarol nagyjából egy programozási nyelv használatával endemikus vagy egzotikus elavult nyelveken írt programok alkalmazásával és fenntartásával. Egyes források az ezeken a helyeken használt 500 programozási nyelv számát mutatják be. Ennek a tudatosságnak az eredménye az, hogy három év alatt kidolgozták az egyetlen nyelv specifikációit, amelyek elég rugalmasak és hatékonyak az összes többi helyettesítésére, akár rakéták irányítására, akár a mesterséges intelligencia irányítási alkalmazásokkal történő elvégzésére. .
  • 1977  : az osztály pályázati felhívást hirdet, amelyet a francia Jean Ichbiah vezette csapat nyert meg .
  • 1980  : Jean Ichbiah megalapította az Alsys ( angolul  : Ada Language Systems ) céget .
  • 1983  : Az Ada83 szabványt az Egyesült Államokban az ANSI szabványosítja (ANSI / MIL-STD-1815A-1983).
  • 1987  : Ada83 az ISO 8652: 1987 nemzetközi szabvány tárgya .
  • 1990  : A különféle fordítói fejlesztők fejlesztései alapján az Ada Közös Programiroda nyelvi felülvizsgálati projektet indít.
  • 1991  : Az Alsys- t eladják a Thomson-CSF-nek, és TSP -vé (Thomson Software Products) válik.
  • 1992  : A felülvizsgálati bizottság ( Ada9X Program Office ) és a New York-i Egyetem között szerződést kötnek az új nyelv referencia fordítójának fejlesztéséről, amely szabadon elérhető lesz . Ez a fordító, a GNAT , a GNU GCC technológiájára épül .
  • 1994  : az Ada Core Technologies (ma AdaCore ) vállalatot a GNAT projekt tagjai alapítják, hogy folytassák a fordító karbantartását, és biztosítsák annak marketingjét és támogatását.
  • 1995  : a várva várt revízió véget ér, megszületik az Ada95. Megjelent egy átdolgozott szabvány, ISO / IEC 8652: 1995. Az Ada95 az első objektum-orientált programozást megvalósító nyelv , amelyre ISO szabvány vonatkozik . A GNAT fordító lefedi az egész Ada95 szabványt, az összes opcionális melléklettel együtt.
  • 1996  : A TSP Aonix lesz.
  • 2000  : Az Ada megfelelőségértékelő hatóság (ACAA) az előző öt évben felhalmozott kisebb javítások halmazát teszi közzé: 1. műszaki javítás.
  • 2003  : a Software Engineering Institute  (en) jelentése megjósolta az ada nyelv halálát annak ellenére, hogy mások fölött áll.
  • 2007  : Az ISO közzéteszi az 1. módosítást a nyelven, amely új funkciókat vezet be és formalizálja a fejlesztők által eredetileg javasolt számos fejlesztést. A nyelv ezen változatát Ada 2005-nek hívják, annak az évnek, amikor a módosítást az ISO közzététel céljából befagyasztotta.
  • 2012  : Az ISO közzéteszi a szabvány új verzióját (Ada 2012), amely elsősorban szintaktikai lehetőségeket, szerződéses programozást , többmagos architektúrák támogatását és az előre meghatározott könyvtár kibővítését biztosítja.
  • 2016  : Műszaki helyesbítés közzététele az Ada 2012-hez

Lásd is

Kapcsolódó cikkek

  • GNAT (ingyenes Ada fordító)
  • MaRTE OS (valós idejű operációs rendszer Ada-ban írva)

Külső linkek

Bibliográfia

  • John Barnes  (en) ( fordította:  Hugues Fauconnier), Programmer en ADA 95 [“Programozás az Ada 95-ben”], Párizs, Vuibert,2001, 772  p. ( ISBN  978-2-711-78651-0 )
  • (en) John Barnes  (en) , programozás Ada 2005-ben , Harlow, Anglia New York, Addison-Wesley / Pearson Education,2006, 828  p. ( ISBN  978-0-321-34078-8 )
  • (in) Alan Burns  (in) és Andy Wellings  (in) , egyidejűség Adában , Cambridge, New York, Cambridge University Press,1998, 2 nd  ed. , 390  p. ( ISBN  978-0-521-62911-9 , OCLC  38904027 , online olvasás )
  • Pierre Breguet és Luigi Zaffalon, szekvenciális programozás az ADA 95-tel , Lausanne, Presses politechniques et universitaire romandes, coll.  " Számítástechnika ",1999, 384  p. ( ISBN  978-2-880-74404-5 , OCLC  42893613 , online olvasás )
  • Luigi Zaffalon és Pierre Breguet, Párhuzamos és valós idejű programozás az ADA 95-tel , Lausanne, Presses polytechniques et universitaire romandes, coll.  " Számítástechnika ",1999, 559  p. ( ISBN  978-2-880-74408-3 , OCLC  42893625 , online olvasás )
  • Léa-Linux  : Bevezetés az ada nyelvbe.
  • Simon Descarpentries, Ada95 és GTK +, a győztes duó? A cikk a GNU / Linux Magazine France-ban jelent meg
  • Jean-Pierre Rosen, Szoftvertechnikai módszerek Adával (WikiBook)

Megjegyzések és hivatkozások

  1. "  What About Ada? A technológia helyzete 2003-ban  ” ( Archívum • Wikiwix • Archive.is • Google • Mit kell tenni? ) .
  2. (in) John D. Ichbiah Bernd Krieg-Brueckner , Brian A. Wichmann és John GP Barnes , "  Indoklás a design a Ada programozási nyelv  " , ACM SIGPLAN Records , vol.  14, n o  6b,1979. június 30, P.  1-261 ( ISSN  0362-1340 és 1558-1160 , DOI  10,1145 / 956.653,956654 , olvasható online , elérhető január 14, 2021 )
  3. (in) JD Ichbiah , "  Előzetes Ada referencia kézikönyv  " , ACM SIGPLAN Records , vol.  14, n o  6a,1979. június 15, P.  1–145 ( ISSN  0362-1340 és 1558-1160 , DOI  10.1145 / 956650.956651 , online olvasás , hozzáférés 2021. január 14. )
  4. Maurice Arvonny "  Beszélsz Ada?"  ", Le Monde ,1987. április 29, P.  15
  5. "  Ada tanítása (miért ?, kinek?, Hogyan!)  " , On d.feneuille.free.fr (elérhető 2017. január 28. ) .
  6. Ez a helyzet a toulouse-i INSA francia mérnöki iskolában. Lásd az "Archivált másolat" részletes programot (2018. július 22-i verzió az Internetes Archívumban ) .
  7. A Nanterre-i Kereskedelmi Bíróság hivatala, 380 249 003 RCS Nanterre
  8. [PDF] jelentés .