Adaのソースを表示

[[Category:プログラミング言語]]
[[en:Ada]]
[https://www.adaic.org/ Ada] は汎用のコンパイル・プログラミング言語です。強い静的型付け・パッケージ・例外・ジェネリクス・タスク・オブジェクト指向・契約を備えています。

== インストール ==

{{Pkg|gcc-ada}} パッケージを[[インストール]]してください。[[GNU Compiler Collection]] (GCC) の Ada フロントエンドである GNAT コンパイラがインストールされます。

追加パッケージ:
* {{AUR|gprbuild}} - GPRbuild ビルドシステム
* {{AUR|xmlada}} - XML/Ada
* {{AUR|ada-web-server}} - Ada ウェブサーバー
* {{AUR|aunit}} - Ada ユニットテストフレームワーク
* GNATColl - GNAT コンポーネントコレクション
** {{AUR|gnatcoll-core}}
** {{AUR|gnatcoll-db2ada}}
** {{AUR|gnatcoll-gmp}}
** {{AUR|gnatcoll-iconv}}
** {{AUR|gnatcoll-postgres}}
** {{AUR|gnatcoll-python}}{{Broken package link|パッケージが存在しません}}
** {{AUR|gnatcoll-readline}}
** {{AUR|gnatcoll-sql}}
** {{AUR|gnatcoll-sqlite}}
** {{AUR|gnatcoll-xref}}

=== インストールのテスト ===

以下のようにシンプルなプログラムをビルドして GNAT が正しくインストールされているか確認:
{{hc|hello.adb|
with Ada.Text_IO;

procedure Hello is
begin
   Ada.Text_IO.Put_Line ("Hello, Arch!");
end Hello;
}}

{{ic|gnatmake}} でコンパイル:
{{hc|$ gnatmake hello|
gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali
}}

そして実行:
{{hc|$ ./hello|
Hello, Arch!
}}

== 参照 ==

=== 言語 ===

* [http://www.ada-auth.org/standards/rationale12.html Rationale for Ada 2012]
* [http://www.ada-auth.org/standards/ada12_w_tc1.html Ada 2012 Language Reference Manual]
* [https://en.wikibooks.org/wiki/Ada_Programming Ada Programming at Wikibooks]
* [https://learn.adacore.com/ Interactive learning platform Learn.adacore.com]

=== ツール ===

* [https://gcc.gnu.org/onlinedocs/gnat_ugn/ GNAT User’s Guide for Native Platforms]
* [https://gcc.gnu.org/onlinedocs/gnat_rm/ GNAT Reference Manual]
* [https://docs.adacore.com/live/wave/gprbuild/html/gprbuild_ug/gprbuild_ug.html GPRbuild and GPR Companion Tools User’s Guide]

=== ライブラリ ===

* [https://docs.adacore.com/live/wave/xmlada/html/xmlada_ug/index.html XML/Ada: The Unicode and XML Library for Ada]
* [https://docs.adacore.com/live/wave/aws/html/aws_ug/index.html AWS: The Ada Web Server]
* [https://docs.adacore.com/live/wave/aunit/html/aunit_cb/aunit_cb.html AUnit Cookbook]
* [https://docs.adacore.com/live/wave/gnatcoll/html/gnatcoll_ug/index.html GNAT Reusable Components]