Ada

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

インストール

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

追加パッケージ:

• all-ada^AUR - すべての Ada ツールとコンポーネントをインストールするメタパッケージ。
• adacurses^AUR - ncurses C ライブラリへの Ada バインディング。
• adaogg^AUR - Ogg、Vorbis、および Theora ライブラリを Ada 2012 プログラミング言語にもたらす完全なインターフェイス層。
• ada_language_server^AUR - Ada プログラミング言語用の高性能構文およびセマンティクスエンジン。
• ada-libfswatch^AUR - fswatch プロジェクトの libfswatch ライブラリにバインディングする Ada
• adasat^AUR - Ada での DPLL ベースの SAT ソルバーの実装。
• adasockets^AUR - Ada の BSD ソケット。
• ada_spawn^AUR - プロセスを開始し、プロセスと通信するためのシンプルな Ada API
• ada-web-server^AUR - Web サーバーがあります
• ahven^AUR - Ada プログラミング言語のシンプルな単体テストフレームワーク。
• alire^AUR - すぐに使用できる Ada ライブラリのカタログと、それらを使用するためのコマンドラインツール (alr)
• aunit^AUR - Ada 単体テストフレームワーク
• florist^AUR - IEEE 標準 1003.5b-1996、POSIX Ada バインディングのオープンソース実装。
• gcc-ada-debug^AUR - GCC (GNAT) 用の Ada フロントエンド。gdb で効果的にデバッグできるように、ストリップされていないランタイムを備えています。
• GNATColl - GNAT コンポーネントのコレクション
  • gnatcoll-core^AUR or gnatcoll-core-git^AUR
  • gnatcoll-db2ada^AUR
  • gnatcoll-gmp^AUR or gnatcoll-gmp-git^AUR
  • gnatcoll-iconv^AUR or gnatcoll-iconv-git^AUR
  • gnatcoll-gnatinspect^AUR
  • gnatcoll-lzma^AUR
  • gnatcoll-omp^AUR
  • gnatcoll-postgres^AUR
  • gnatcoll-python^AUR
  • gnatcoll-readline^AUR
  • gnatcoll-sql^AUR
  • gnatcoll-sqlite^AUR
  • gnatcoll-syslog^AUR
  • gnatcoll-xref^AUR
  • gnatcoll-zlib^AUR
• gnatcoverage-bin^AUR - Ada および C プログラムのプログラム カバレッジを分析およびレポートするツール。
• gnatdoc^AUR - GNAT ドキュメント生成ツール。
• gnatstudio^AUR - Ada の GnatStudio。
• gnatstudio-bin^AUR - Ada 用の GnatStudio バイナリ。
• gnatsymbolize^AUR - アドレスを、Ada プログラムの対応するファイル名、行番号、関数名に変換します。
• gprbuild^AUR or gprbuild-git^AUR - GPRbuild ビルドシステム。
• gprbuild-toolbox^AUR - 多言語システム用のメタビルダーツールボックス。
• gpr^AUR - Ada GPR プロジェクトファイルのパーサー。
• gpr-unit-provider^AUR - GPR プロジェクト分析ライブラリに基づく Libadalang のユニットプロバイダー。
• gtkada^AUR - Gtk+ ライブラリの Ada バインディング。
• ini_file_manager^AUR - Ada 用の Ini 設定ファイルリーダーおよびマニピュレーターパッケージ。
• inotify-ada^AUR - Linux inotify API を使用してファイルシステムイベントを監視する Ada 2012 ライブラリ。
• kazakov_simple_components^AUR - Dmitri Kazakov による低レベルの Ada コンポーネントのセット。
• langkit^AUR - 構文および意味言語分析ライブラリ用のコンパイラ。
• libadalang^AUR - Ada プログラミング言語用の高性能セマンティックエンジン。
• libadalang-tools^AUR - Ada 用の Libadalang ベースのツール: gnatpp、gnatmetric、gnatstub。
• libgpr^AUR - Gnat プロジェクトファイルを処理するための Ada ライブラリ。
• libvss^AUR - Ada 用の高レベルの文字列およびテキスト処理ライブラリ。
• markdown^AUR - Ada のマークダウンパーサー。
• polyorb^AUR - Ada を使用して分散アプリケーションを構築するための Distributed Systems Annex (DSA) を提供します。
• sdlada^AUR - Simple DirectMedia Layer (SDL) ライブラリへの Ada バインディング。
• spark2014^AUR - Ada (GNAT FSF バージョン) に基づいて正式に定義されたプログラミング言語。
• templates_parser^AUR - 動的 HTML ドキュメントなどのテンプレート化されたテキストストリームを作成する Ada ツール。
• vulkada^AUR - Ada 2012 プログラミング言語用の完全な Vulkan 1.1 バインディング。
• xmlada^AUR or xmlada-git^AUR - XML/Ada

署名されたビルド済みパッケージは、非公式ユーザーリポジトリの Ada リポジトリ から入手できます。

インストールのテスト

以下のようにシンプルなプログラムをビルドして GNAT が正しくインストールされているか確認:

hello.adb

with Ada.Text_IO;

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

gnatmake でコンパイル:

$ gnatmake hello

gcc -c hello.adb
gnatbind -x hello.ali
gnatlink hello.ali

そして実行:

$ ./hello

Hello, Arch!

参照

言語

• Rationale for Ada 2012
• Ada 2012 Language Reference Manual
• Ada Programming at Wikibooks
• Interactive learning platform Learn.adacore.com

ツール

• GNAT User’s Guide for Native Platforms
• GNAT Reference Manual
• GPRbuild and GPR Companion Tools User’s Guide

ライブラリ

• XML/Ada: The Unicode and XML Library for Ada
• AWS: The Ada Web Server
• AUnit Cookbook
• GNAT Reusable Components