Ada (język programowania)

Z Wikipedii, wolnej encyklopedii
(Przekierowano z Ada (informatyka))
Przejdź do nawigacji Przejdź do wyszukiwania

Adastrukturalny, kompilowany, imperatywny, statycznie typowany i obiektowy język programowania opracowany przez Jean Ichbiaha i zespół z CII Honeywell Bull w latach 70. XX wieku. Język ten wygrał konkurs zorganizowany przez Departament Obrony USA (U.S. Department of Defense – DoD), pokonując 19 innych projektów. Nazwa języka, nadana przez DoD, pochodzi od imienia lady Augusty Ady Lovelace, uważanej za pierwszą programistkę w historii.

Pole znacznikowe, pole wyróżnikowe, flaga, pole rozróżniające – specjalny rodzaj pola dostępny w rekordach z wariantami, które określa aktualną postać rekordu, tzn. który wariant z dostępnego wykazu wariantów zawartych w definicji rekordu, ma przypisaną wartość aktualną.Międzynarodowa Organizacja Normalizacyjna, ISO (ang. International Organization for Standardization, fr. Organisation internationale de normalisation) – organizacja pozarządowa zrzeszająca krajowe organizacje normalizacyjne.

Historia[ | edytuj kod]

W latach 70. departament obrony USA dostrzegł problem polegający na wykorzystywaniu dużej liczby różnych języków programowania używanych do implementacji wewnętrznych projektów informatycznych dla systemów wbudowanych. Wiele z nich było już przestarzałych lub mocno związanych ze sprzętem, a żaden z nich nie wspierał bezpiecznego programowania modułowego. W 1975 roku została powołana grupa robocza High Order Language Working Group (HOLWG), której zadaniem była redukcja liczby używanych narzędzi lub zaprojektowanie nowego języka programowania, który spełniałby wymagania wszystkich dotychczas realizowanych projektów. Efektem działań grupy był język Ada, a liczba używanych języków spadła z ponad 450 w roku 1983 do 37 w 1996.

COBOL (ang. COmmon Business Oriented Language) – język programowania stworzony z głównym przeznaczeniem do prac programistycznych w dziedzinach ekonomii i biznesu.Separator (programowanie) – rodzaj ogranicznika zdefiniowanego w składni określonego języka programowania i stanowiącego element kodu źródłowego rozdzielający w ciągu znaków kodu źródłowego poszczególne jednostki leksykalne.

Grupa robocza HOLWG rozpoczęła prace od wydania Wymagań językowych Steelmana (ang. Steelman Language Requirements), serii dokumentów opisujących założenia, które poszczególne języki programowania powinny spełniać. Następnie dokonano formalnej weryfikacji wielu istniejących języków, lecz w 1977 stwierdzono, że każdy z nich posiada w świetle tych dokumentów poważne mankamenty, które go eliminują. Wobec tego ogłoszony został konkurs na stworzenie nowego języka. Do startu zaproszono cztery zespoły, którym nadano oznaczenia kolorystyczne:

Plik (ang. file) – uporządkowany zbiór danych o skończonej długości, posiadający szereg atrybutów i stanowiący dla użytkownika systemu operacyjnego całość. Nazwa pliku nie jest częścią tego pliku, lecz jest przechowywana w systemie plików.W językach programowania system typów może być zdefiniowany jako system klasyfikacji wyrażeń w zależności od rodzajów wartości, jakie one generują. Każdej obliczonej wartości przypisywany jest pewien typ, który jednoznacznie definiuje, jakie operacje można na niej wykonać. Śledząc przepływ wartości, system typów stara się udowodnić, że w programie występuje poprawne typowanie, tzn. nie dochodzi do sytuacji, w której na wartości określonego typu próbujemy wykonać niedozwoloną operację.
  • Czerwony (Intermetrics, pod przewodnictwem Benjamina Brosgola),
  • Zielony (CII Honeywell Bull, pod przewodnictwem Jeana Ichbiaha),
  • Niebieski (SofTech, pod przewodnictwem Johna Goodenough),
  • Żółty (SRI International, pod przewodnictwem Jaya Spitzena).
  • Ada Lovelace

    W kwietniu 1978, po publicznych badaniach, propozycje zespołu czerwonego i zielonego przeszły do kolejnej fazy. Rok później ostateczne zwycięstwo przyznano koncepcji zielonej opracowanej przez CII Honeywell Bull. Otrzymała ona nazwę Ada na cześć lady Augusty Ady Lovelace, uważanej za pierwszą programistkę w historii. Zwycięska propozycja czerpała pomysły z języka LIS, który Ichbiah i jego grupa zaprojektowali w latach 70. Pierwsze wydanie dokumentacji języka Ada zostało opublikowane w ACM SIGPLAN Notices w czerwcu 1979 roku. Dokumentacja standardu wojskowego została zatwierdzona 10 grudnia 1980 roku (urodziny Ady Lovelace) i otrzymała numer MIL-STD-1815.

    Stany Zjednoczone, Stany Zjednoczone Ameryki (ang. United States, US, United States of America, USA) – federacyjne państwo w Ameryce Północnej graniczące z Kanadą od północy, Meksykiem od południa, Oceanem Spokojnym od zachodu, Oceanem Arktycznym od północnego zachodu i Oceanem Atlantyckim od wschodu.Podprogram (inaczej funkcja lub procedura) - termin związany z programowaniem proceduralnym. Podprogram to wydzielona część programu wykonująca jakieś operacje. Podprogramy stosuje się, aby uprościć program główny i zwiększyć czytelność kodu.

    W roku 1981 C.A.R. Hoare skrytykował Adę w swojej mowie podczas odbioru Nagrody Turinga jako język zbyt skomplikowany, a przez to zawodny, lecz później prawdopodobnie zmienił zdanie, czego wyrazem jest przedmowa, którą napisał dla podręcznika Ady.

    Pojawienie się Ady wywołało duże zainteresowanie wśród społeczności programistów w pierwszych latach swojego istnienia. Wśród zwolenników pojawiały się opinie, że może ona zostać głównym językiem programowania ogólnego przeznaczenia. Jean Ichbiah publicznie stwierdził, że w przeciągu 10 lat na rynku pozostaną jedynie dwa języki: Ada i Lisp. Wczesne kompilatory Ada z trudem radziły sobie z implementacją dużego, złożonego języka, a wydajność zarówno generowanego kodu, jak i procesu kompilacji, podobnie jak jakość narzędzi, pozostawiały wiele do życzenia. Twórcy kompilatorów skierowali swoje wysiłki ku uzyskaniu certyfikacji ACVC wymaganej przez agencje rządowe. Pierwszą certyfikowaną implementacją Ady był translator NYU Ada/Ed, który uzyskał ten status 11 kwietnia 1983 roku. Był on zaimplementowany w wysokopoziomowym języku SETL.

    Monitor ekranowy – urządzenie zaopatrzone w ekran będący źródłem światła, przetwarzające sygnały odbierane z urządzeń technicznych na obraz wyświetlany na własnym ekranie w trybie alfanumerycznym lub graficznym i oglądany z drugiej strony przez oglądającego.Literał łańcuchowy, nazywany także napisem lub stała łańcuchową, to literał reprezentujący w kodzie źródłowym wartość składającą się z ciągu znaków (łańcuch znaków).

    W 1987 roku Departament Obrony USA wydał zarządzenie wymagające użycia Ady w każdym projekcie programistycznym, gdzie nowy kod stanowił więcej niż 30% ogólnego wyniku, aczkolwiek często zezwalano na wyjątki od tej reguły. Reguła została zniesiona 10 lat później.

    Przez lata 80. i 90. poprawiono ogólną jakość i wydajność kompilatorów Ady, lecz wciąż pojawiały się poważne problemy na drodze do pełnego wykorzystania możliwości języka. Jednym z nich był zaproponowany model wielozadaniowości, który znacząco odbiegał od dotychczasowych rozwiązań znanych programistom. Z uwagi na obecność kluczowych mechanizmów bezpieczeństwa, Ada jest obecnie używana nie tylko w aplikacjach wojskowych, ale także w projektach komercyjnych, gdzie błąd programistyczny może mieć kosztowne konsekwencje. Przykładami takich obszarów jest kontrola lotów, awionika samolotów, satelity, automatyczne systemy transportowe czy bankowość. Przykładowo, oprogramowanie systemu Fly-by-wire w samolocie Boeing 777 zostało w całości napisane w Adzie.

    Funkcja Ackermanna jest funkcją matematyczną odkrytą przez Wilhelma Ackermanna w 1928 roku. Cechą charakterystyczną tej dwuargumentowej funkcji jest jej nadzwyczaj szybki wzrost. Funkcja Ackermanna jest prostym przykładem funkcji rekurencyjnej, niebędącej funkcją pierwotnie rekurencyjną. Funkcje pierwotnie rekurencyjne to większość znanych funkcji, między innymi dodawanie, funkcja wykładnicza itp.Fortran (od wersji 90 do aktualnej) a dawniej FORTRAN (do wersji 77 włącznie) (od ang. FORmula TRANslator) – język programowania pierwotnie zaprojektowany do zapisu programów obliczeniowych, był niegdyś językiem proceduralnym, obecnie jest nadal rozwijanym językiem ogólnego przeznaczenia. Umożliwia programowanie strukturalne, obiektowe (Fortran 90/95), modularne i równoległe (Fortran 2008). Jego zastosowaniami są, między innymi, obliczenia naukowo-inżynierskie, numeryczne, symulacja komputerowa itp.

    Pochodne Ady[ | edytuj kod]

  • Ada++
  • Ada# (w budowie)


  • Podstrony: 1 [2] [3]




    Warto wiedzieć że... beta

    Litera – znak graficzny charakterystyczny dla pism fonetycznych. Może wyrażać pojedynczą głoskę, sylabę lub wchodzić w skład innych połączeń - np. dwuznaków. W języku francuskim zestaw nawet pięciu liter może oznaczać jedną głoskę.
    Nazwy własne, imiona własne (łac. nomina propria) – nazwy przysługujące jednostkom, w odróżnieniu od nazw pospolitych, które odnoszą się do dowolnych klas jednostek (egzemplarzy określonej klasy przedmiotów).
    Nagroda Turinga — nagroda przyznawana corocznie za wybitne osiągnięcia w dziedzinie informatyki przez Association for Computing Machinery.
    Język strukturalny (ang. structured language) – język programowania, który pozwala tworzyć programy w postaci jednolitych bloków bez korzystania z instrukcji skoku oraz numerowania linii (choć czasami można się z tym spotkać).
    Atrybut – element składni języka programowania, który określa konkretną właściwość (znaczenie), nadaną wybranemu elementowi (obiektowi).
    Preprocesor – w programowaniu – to program komputerowy, którego zadaniem jest przetworzenie kodu źródłowego, w sposób określony przez programistę za pomocą dyrektyw preprocesora, na kod wyjściowy – tak przetworzony kod źródłowy poddawany jest następnie analizie składniowej i kompilacji.
    United States Air Force (USAF) – Siły Powietrzne Stanów Zjednoczonych, jeden z rodzajów Sił Zbrojnych Stanów Zjednoczonych, odpowiedzialny za pewną część działań w powietrzu (duża liczba samolotów i śmigłowców bojowych podlega także marynarce wojennej, wojskom lądowym i korpusowi piechoty morskiej). Utworzone zostały jako odrębny rodzaj sił zbrojnych na bazie lotnictwa armii amerykańskiej, 18 września 1947, poprzednikiem USAF były:

    Reklama