Ada (idioma)
Ada é uma linguagem de programação orientada a objetos cujas primeiras versões datam do início dos anos 1980 .
Apresentação
Ada é uma linguagem de programação projetada pela equipe CII-Honeywell Bull liderada por Jean Ichbiah em resposta às especificações estabelecidas pelo Departamento de Defesa dos Estados Unidos (DoD). O primeiro trabalho em torno do projeto começou no final dos anos 1970 e já em 1979 um manual de referência preliminar do ADA foi publicado no jornal do Grupo de Interesse Especial em Linguagens de Programação do ACM . A primeira versão validada do projeto foi lançada no início dos anos 1980 com o nome de Ada 83.
Para desenvolver a linguagem, a equipe de Jean Ichbiah se inspirou em seu LIS (Linguagem de Implementação de Sistemas) anterior, projetado no CII para permitir o desenvolvimento de sistemas operacionais portáteis (95% disseram Ichbiah).
Ada 83 foi então assumida e melhorada em meados dos anos 1990 para dar Ada 95, a segunda linguagem de objeto padronizada internacionalmente (publicada emFevereiro de 1995, é logo precedido por Common Lisp , publicado emDezembro de 1994) Sob os auspícios da Organização Internacional de Normalização (ISO), a linguagem se beneficiou de uma emenda (Ada 2005) e, em seguida, de uma nova revisão chamada Ada 2012.
O nome "Ada" foi escolhido em homenagem a Ada Lovelace , indiscutivelmente a primeira cientista da computação da história. Está associada à cor verde porque, durante o concurso do DoD, as diferentes propostas foram designadas por cores para evitar qualquer enviesamento, e a equipa que a desenhou foi a equipa verde.
Aqui estão alguns recursos especiais do Ada:
- tipagem estática;
-
módulo por pacotes e controle fino de visibilidade;
-
sintaxe clara e inequívoca (inspirada na linguagem Pascal );
- genericidade;
-
programação de contratos ;
- multitarefa;
- recursos em tempo real integrados à linguagem (tarefas, objetos protegidos, interrupções);
- bibliotecas padrão;
- links com outras línguas;
- anexos em tempo real com Ravenscar Profile para sistemas seguros;
- o documento padrão ISO pode ser baixado gratuitamente (veja abaixo).
É frequentemente usado em sistemas de tempo real e integrados que exigem um alto nível de confiabilidade e segurança. Hoje em dia, Ada é empregada naturalmente por seu iniciador, mas também em todas as técnicas avançadas : na França, automotivo, transporte ferroviário ( Alstom , Siemens Mobility , Ansaldo STS ), tecnologias aeronáuticas ( Thales Land and Air Systems , Thales Avionics , Airbus , Airbus Defesa e Espaço ) e tecnologias espaciais ( Thales Alenia Space , ArianeGroup , CNES , Arianespace ).
A partir de 2013 , é possível encontrar compiladores Ada para alguns sistemas operacionais ( Windows , Linux , VxWorks ) e arquiteturas de hardware , incluindo um compilador gratuito ( GNAT , incluído na GNU Compiler Collection ) compilado de Ada 83/95 / 2005/2012.
Ada às vezes é usado como uma introdução a cursos avançados de programação de computador e pode ser usado para cursos introdutórios de programação .
Outras línguas no movimento Ada
Ada é inspirado na linguagem Pascal , da qual ele assumiu o espírito da sintaxe e da arquitetura. A linguagem Ada inspirou Bertrand Meyer para o design da linguagem Eiffel , que agrega noções de programação por contrato (mas é menos adequada para a indústria em certos aspectos). A noção de programação por contrato , formalizada por Bertrand Meyer com Eiffel, levou à criação de uma extensão para a linguagem Ada, SPARK (en) , para torná-la a suportar notações que permitissem expressar afirmações contratuais no caderno de encargos. A programação por contrato (de sub-rotinas ou tipos de objetos) agora está integrada na versão Ada 2012.
Ada inspirou a linguagem PL / SQL na área de bancos de dados, bem como a linguagem VHDL para arquiteturas de hardware.
A linguagem Ada também é a base para o design das várias linguagens da norma IEC 61131-3 , em particular a parte declarativa comum a todas as linguagens e a linguagem ST ( texto estruturado ).
"Bonjour Monde!" em Ada 95 ou Ada 2005
Um exemplo comum para mostrar a sintaxe de uma linguagem é o programa Hello world :
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;
Existem atalhos para Ada.Text_IO.Put_Lineexigir menos caracteres, mas eles não são usados aqui para fins de compreensão. Para explicações mais detalhadas, você pode consultar Wikilivros: Ada Programming / Basic .
Breve história
-
1974 : O Departamento de Defesa dos EUA percebe que desperdiça muito dinheiro usando aproximadamente uma linguagem de programação , aplicando e mantendo programas escritos em linguagens endêmicas ou exóticas obsoletas. Algumas fontes apresentam a cifra de 500 linguagens de programação utilizadas nesses locais.
O resultado dessa conscientização é a elaboração, em três anos, das especificações de uma única linguagem, suficientemente flexível e potente para substituir todas as demais, seja para o guiamento de mísseis ou para o trabalho de inteligência artificial através de aplicativos de gerenciamento .
-
1977 : o departamento lança um concurso, ganho por uma equipa liderada pelo francês Jean Ichbiah .
-
1980 : Jean Ichbiah fundou a empresa Alsys ( Inglês : Ada Language Systems ).
-
1983 : Ada83 é padronizado nos Estados Unidos pela ANSI (ANSI / MIL-STD-1815A-1983).
-
1987 : Ada83 é o assunto do padrão internacional ISO 8652: 1987.
-
1990 : com base nas melhorias feitas por vários desenvolvedores de compiladores, o Ada Joint Program Office lança um projeto de revisão de linguagem.
-
1991 : Alsys é vendido para a Thomson-CSF e se torna TSP (Thomson Software Products).
-
1992 : Um contrato é feito entre o comitê de revisão ( Ada9X Program Office ) e a New York University para o desenvolvimento de um compilador de referência para a nova linguagem, que estará disponível gratuitamente . Este compilador, GNAT , é baseado na tecnologia GCC do GNU .
-
1994 : a empresa Ada Core Technologies (hoje AdaCore ) é fundada pelos membros do projeto GNAT para continuar a manutenção do compilador e garantir seu marketing e suporte.
-
1995 : a tão esperada revisão chega ao fim, nasce Ada95. Uma norma revisada é publicada, ISO / IEC 8652: 1995. Ada95 é a primeira linguagem que implementa programação orientada a objetos a ser objeto de um padrão ISO . O compilador GNAT cobre todo o padrão Ada95, incluindo todos os seus anexos opcionais.
-
1996 : TSP torna-se Aonix.
-
2000 : A Autoridade de Avaliação da Conformidade Ada (ACAA) publica um conjunto de correções menores acumuladas nos cinco anos anteriores: Correção Técnica 1.
-
2003 : um relatório do Software Engineering Institute (en) previu a morte da linguagem Ada, apesar de sua superioridade sobre as outras.
-
2007 : ISO publica a Emenda 1 à linguagem que introduz novas funções e formaliza muitas melhorias inicialmente propostas pelos vários desenvolvedores de compiladores. Essa versão da linguagem é chamada de Ada 2005, ano em que a Emenda foi congelada para publicação pela ISO.
-
2012 : A ISO publica uma nova revisão do padrão (Ada 2012), que fornece recursos sintáticos, programação de contrato , suporte para arquiteturas multi-core e uma extensão da biblioteca predefinida.
-
2016 : Publicação de uma corrigenda técnica para Ada 2012
Veja também
Artigos relacionados
-
GNAT (compilador Ada gratuito)
-
MaRTE OS (sistema operacional em tempo real escrito em Ada)
links externos
Bibliografia
- John Barnes (en) ( traduzido por Hugues Fauconnier), Programador en ADA 95 [“Programação em Ada 95”], Paris, Vuibert,2001, 772 p. ( ISBN 978-2-711-78651-0 )
- (en) John Barnes (en) , Programming in Ada 2005 , Harlow, England New York, Addison-Wesley / Pearson Education,2006, 828 p. ( ISBN 978-0-321-34078-8 )
- (em) Alan Burns (em) e Andy Wellings (em) , Concurrency in Ada , Cambridge, New York, Cambridge University Press,1998, 2 nd ed. , 390 p. ( ISBN 978-0-521-62911-9 , OCLC 38904027 , leia online )
- Pierre Breguet e Luigi Zaffalon, Programação sequencial com ADA 95 , Lausanne, Presses polytechniques et universitaire romandes, coll. " Ciência da Computação ",1999, 384 p. ( ISBN 978-2-880-74404-5 , OCLC 42893613 , leia online )
- Luigi Zaffalon e Pierre Breguet, Programação simultânea e em tempo real com ADA 95 , Lausanne, Presses polytechniques et universitaire romandes, col. " Ciência da Computação ",1999, 559 p. ( ISBN 978-2-880-74408-3 , OCLC 42893625 , leia online )
-
Léa-Linux : Introdução à linguagem Ada.
- Simon Descarpentries, Ada95 e GTK +, a dupla vencedora? Artigo publicado na GNU / Linux Magazine França
- Jean-Pierre Rosen, Métodos de engenharia de software com Ada (WikiBook)
Notas e referências
-
" E sobre Ada? O Estado da Tecnologia em 2003 ” ( Arquivo • Wikiwix • Archive.is • Google • O que fazer? ) .
-
(em) John D. Ichbiah Bernd Krieg-Brueckner , Brian A. Wichmann e John GP Barnes , " Rationale for the design of the Ada programming language " , ACM SIGPLAN Records , vol. 14, n o 6b,30 de junho de 1979, p. 1–261 ( ISSN 0362-1340 e 1558-1160 , DOI 10.1145 / 956653.956654 , ler online , acessado em 14 de janeiro de 2021 )
-
(em) JD Ichbiah , " Preliminary Ada reference manual " , ACM SIGPLAN Records , vol. 14, n o 6a,15 de junho de 1979, p. 1-145 ( ISSN 0362-1340 e 1558-1160 , DOI 10.1145 / 956650.956651 , ler online , acessado em 14 de janeiro de 2021 )
-
Maurice Arvonny, " Você fala Ada?" ", Le Monde ,29 de abril de 1987, p. 15
-
" Teach Ada (por quê ?, Para quem ?, Como!) " , On d.feneuille.free.fr (acesso em 28 de janeiro de 2017 ) .
-
É o caso da escola de engenharia francesa INSA em Toulouse. Veja o programa detalhado "Cópia arquivada" (versão de 22 de julho de 2018 no Internet Archive ) .
-
Secretaria do Tribunal de Comércio de Nanterre, 380 249 003 RCS Nanterre
-
relatório [PDF] .