ada チュートリアル
adaを使い始める

備考

バージョン

インストールまたはセットアップ

Adaは複数のコンパイラが存在するプログラミング言語です。

• これらのコンパイラの1つ、おそらく最もよく使われるのはGNATです。これはGCCツールチェーンの一部です。いくつかのソースからインストールすることができます：

  • AdaCoreが毎年行っているGPLリリース。liba サイトで無料で利用できます。このバージョンはAdaCoreがそのプロリリースで行ったすべての内部テストを受けており、多数のプラットフォームで利用できます。コンパイラとそのランタイムは、GPLライセンスの下でリリースされます。ランタイムを使用していない限り、配布する実行ファイルもこのライセンスの対象となります。初期段階の学者やプロジェクトにとって、これは問題ではありません。

  • FSF gccは同じパッチを定期的に受け取ります。 GNATのバージョンは必ずしも最新ではないかもしれませんが、定期的に取り上げられます。

  • 多くの寄稿者が、さまざまなLinuxディストリビューション（Debianベースのシステムなど）用のFSFバージョンとMac OS X用のバイナリをパッケージ化しています。GNATをインストールするには、ディストリビューションのパッケージマネージャを使用するのが最も簡単です。このようなバージョンには標準のGCCライセンスが付属しており、クローズドソースコードを書くことができます。

  • AdaCoreはGNAT Proも提供しています。GNAT Proには標準のGCCライセンスが付属しており、クローズドソースコードを書くことができます。さらに重要なのは、言語の使用、ツール、何かを最もうまく実装する方法、そしてもちろんバグレポートや拡張要求について質問があれば、サポートが付いている可能性があります。

別の数のコンパイラが、 Ada WikiBookにインストール手順とともに記載されています。 Getadanow.comは、いくつかのタイプのハードウェアまたは仮想マシン上のさまざまなオペレーティングシステム用に用意されたFSF GNATのエディションを備えています。また、Adaの学習と共有のためのリソースも収集しています。

こんにちは世界

with Ada.Text_IO;

procedure Hello_World is
begin
   Ada.Text_IO.Put_Line ("Hello World");
end Hello_World;

あるいは、パッケージAda.Text_IOをインポートした後、 use Ada.Text_IO;と言うことができますuse Ada.Text_IO;明示的に宣言せずにPut_Lineを使用できるようにするには、次のようにします。

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello_World is
begin
    Put_Line ("Hello World");
end Hello_World;

gnatコンパイラを使用している場合、この簡単なプログラムは

gnatmake hello_world

これにより、有名なメッセージを見るために実行できるhello_world （またはWindowsではhello_world.exe ）を含むいくつかのファイルが生成されます。実行可能ファイルの名前は、メインのAdaサブプログラムの名前から自動的に計算されます。 Adaでは、メインサブプログラムは任意の名前を持つことができます。 gnatmake引数として渡すのは、パラメータのない手続きでなければなりません。

他のコンパイラにも同様の要件がありますが、もちろんビルドコマンドは異なります。

バージョン

標準のAdaプログラミング言語は、 Adaリファレンスマニュアルで定義されています。中間バージョンの変更とリリースノートについては、対応する合理化文書で説明します。実装は、典型的には、ユーザガイドおよび/またはリファレンスマニュアルの形で標準の遵守を文書例 。

• 2012年のAda

  • Ada 2012 Language Reference Manual
  • Ada 2012の理論的根拠

• Ada 2005

  • Ada 2005 Language Reference Manual
  • Ada 2005の理論的根拠

• アダ95

  • Ada 95言語リファレンスマニュアル
  • Ada 95の理論的根拠

• アダ83

  • Ada 83言語リファレンスマニュアル
  • Ada 83 Adaプログラミング言語の設計の根拠

図書館

どんなプログラミング言語でも、Adaにはさまざまなタスクを達成するための豊富なライブラリが付属しています。 githubで検索するともう少し先を見かけることができますが、そのいくつかの参考になります。

• Adaランタイムそのものは、データ構造やコンテナから入出力、文字列操作、時間操作、ファイル、数値計算、マルチタスキング、コマンドラインスイッチなどの広範なパッケージと附属書を含んでいます。乱数、...

• GNATコンパイラは、正規表現、ソート、検索、ユニコード、CRC、時間の入出力をサポートするGNAT階層の新しいパッケージとともに、独自の拡張ランタイムを備えています。

• gnatcollは、AdaCoreのlibreサイトから入手可能なライブラリであり、広範なロギングフレームワーク、Pythonでアプリケーションを拡張する、mmap、ファイルシステムとインターフェースするための広範なフレームワーク、電子メールメッセージとメールボックスの解析、タイプセーフな方法、アイコン、readline、ターミナルの色、自動メモリ管理、JSONファイルの参照カウント型のサポートのような様々なライブラリへのインターフェイス...

• XML / Adaは、XML文書を解析して検証するためのライブラリです。

• GtkAdaはgtk +ライブラリへの完全なバインディングであり、Unix、Windows、OSX上で移植可能なユーザインタフェースを作成しましょう。

• AWSは、AdaでWebサーバーを作成するためのフレームワークであり、HTTP、WebSockets、独自のテンプレートシステムなどのさまざまなプロトコルを完全にサポートしています。