米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！

[1 名無しさんは伊達じゃない NG NG]

どうよ？

[294 デフォルトの名無しさん NG NG]

sage

[295 デフォルトの名無しさん NG NG]

700

[296 デフォルトの名無しさん NG NG]

616

[297 デフォルトの名無しさん NG NG]

このスレが賑わう日は来るのかなあ…

[298 デフォルトの名無しさん NG NG]

adaってなんかPascalに似てるな

[299 デフォルトの名無しさん NG NG]

Delphiユーザは知らず知らずのうちにAdaの恩恵を受けていると思う。

[300 バイオハザード２ NG NG]

レオン「エイダー！！」

[301 デフォルトの名無しさん NG NG]

　 　 / 　 　 　＼ノｋ 　　　,r 　 ｔ、 f ノ 　 ヽ ﾉ 　 　 　 　 　 ／ 丶'　　ヽ　 ￣
　 　 { 　 　 . ⌒ヽ'⌒ヽ _7ﾄ,ﾆtK　|`ﾍ 　 　 ﾉ 　 　 　 　 　 / ヽ　　　 /　/:
　　 ヽ､ 　 　 　 　　 〉ヽ〉二〈ﾉ│　｀ヽ;;ノ ＾ 　 　 　 　 　 /　/へ ヘ/　/:
　　　　 `ー-､;;;;;;;;ノ 　 ´￣｀ 　〉 　 　 　 　 　 　 　 　　 ＼_＼ ヾミ　 /|:
　 　 　 　 　 　 ﾊ二二ﾆﾆﾆ=─ヘ、 　 　 　 　 　 　 　 　 　ヽ　､vWwｧ_
　 　 　 　 V ヽ 　ﾄ 　 　 　 　 　 　＼ 　 　 　　 　 　 　　 　y'{ j,__;＿;ノ
　 　 . . ﾝ 　ミﾐ巛　ﾉ ノ ヽ ヽ 　 　 　 ＼_ 　　　　　　　　　　ヽ!!_,'´" ,,　f
　　　 ノ ／ﾉ/　 `ヽﾄ､＼＼─t、 ミ　　　}　　　　　　　 　　_ｨ´ __　i　 ___　〔
　 　　.,_||` ;;;×　　×ヾ　 '| |_ ￣／　　ヽ|　　　　　 　 　y　　 　_ ,|　　　　`　 、
　 　　|ヽ|　　.　▲　 　|り|　　 ｜　　　ノ　　　　　 　 ノ　　　　　_;-ー'--tｰ' 　 　｀'＼
チョ、　　! ` 　'"-Д-　/ / 　 ヽﾆﾆイ　　　　　 　 ,ｰ' ヽ　 _;　― 　 　 　 　`ヽ、　　 ヾ,
タンマ 　　＼　　　　　／　　　 | 　 | 　　　　　　　｛／　 　 r ´ 　 　 　 　 　 　 ｝ 　　　|
　　ミ' )ー─「　｀レ￣　　 ￣^ 〈　 ´ `ｰ--r､　　 ｛ _　　 _ ¨ 　 　 　 　 　 　　 /|’　　 /|
　　⌒'￣￣└─┤　 i＿_8　 |　　＼:n〉0jﾉノ 　 {　　_y' 　 　 　 　 　 　 　 　 |/　　　/
　　　　　_　 _,. -- _ゝ_／ ノ⌒/　　ﾉ┴､一　ﾐミ７_ｰr'ーj 　 　 　 　 　 　 　 　 {　 　 ｿ
_,, -‐　´　　　　　Ｌ__j-´ 　 　ゝ､__＿_ﾉ＿二_巛７ﾉ============ 　 　 　 　 { 　-; |
　　　　　　　　　　 　　　 　　　　　　　　　　ミﾐl_/ l_　 　　　　　 　　　　　　　　'ｰ-;､ ｀j

[302 デフォルトの名無しさん NG NG]

仕事でAdaを使ってる人いる？

[303 デフォルトの名無しさん NG NG]

Anubis zoeで出てた奴？

[304 デフォルトの名無しさん NG NG]

>>303
何それ？

[305 デフォルトの名無しさん NG NG]

GWindowsを使ってWindowを表示してみました。(Win2000)
GWindows url: http://www.adapower.com/gwindows/

--
-- wintest.adb
--

with GWindows.Windows.Main;
with GWindows.Application;

procedure WinTest is
use GWindows.Windows.Main;
Top: GWindows.Windows.Main.Main_Window_Type;

begin
Create (Top, "Hello World");
Size (Top, 300, 100);
visible (Top);
Gwindows.Application.Message_Loop;
end;

[306 デフォルトの名無しさん NG NG]

>>305
おーっ(拍手

なんかすごそうだ。もっと使ってみた感想とか聞きたいかも

[307 デフォルトの名無しさん NG NG]

>>306
まず使えるようになるまでが大変でした。
MinGWのgnatだとうまく動かなかったので、
ftp://cs.nyu.edu/pub/gnat/3.15p/winnt/
から、改めてダウンロードしてインストール。
で、環境変数を設定。（gnatはc:\gnatにインストールしたとする）
PATHにc:\gnat\binを追加。
ADA_INCLUDE_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1\adainclude
ADA_OBJECTS_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1\adalib
C_INCLUDE_PATH=c:\gnat\pentium-mingw32msv\include
LIBRARY_PATH=c:\gnat\lib\gcc-lib\pentium-mingw32msv\2.8.1

ここで、サンプルをコンパイルしようとすると、
なぜか、collect2が見つからないとかしかられるので、
c:\gnat\binにあるld.exeをcollect2.exeという名前でコピー。
（これに気づくまで、かなり悩みました。。。）

つぎに、gnatcom（http://www.adapower.com/gnatcom/）をインストール。
make install

そして最後にGWindowsをインストール。
make UNICODE=1 install

ってな感じで、疲れました。。。（インストールするまでに三日ぐらい悩んだ）
まだ、サンプルをコンパイルする程度なので、詳しい感想はのちほど。

[308 305 NG NG]

マウスクリックイベントを取得してみました。
--
-- mousetest.adb
-- compile: gnatmake mousetest.adb
--
with GWindows.Message_Boxes;
with GWindows.Windows; use GWindows.Windows;
with GWindows.Windows.Main; use GWindows.Windows.Main;
with GWindows.Base;
with GWindows.Types;
with GWindows.Application;
procedure MouseTest is
Top: GWindows.Windows.Main.Main_Window_Type;

procedure OnMouseClick
(Window: in out GWindows.Base.Base_Window_Type'Class;
X : in Integer;
Y : in Integer;
Keys : in GWindows.Windows.Mouse_Key_States)
is
New_Point : GWindows.Types.Point_Type := (X, Y);
begin
GWindows.Message_Boxes.Message_Box ("on mouse click", "Clicked!");
end;

begin
Create (Top, "Hello World");
Size (Top, 300, 100);
On_Left_Mouse_Button_Down_Handler (Top, OnMouseClick'Unrestricted_Access);
visible (Top);
Gwindows.Application.Message_Loop;
end;

[309 デフォルトの名無しさん NG NG]

Delphiより、いいところってある？

[310 305 NG NG]

>>309
Delphiと比べて考えたことはなかったですが、
並行プログラミングが言語の文法に組み込まれている
あたりが個人的には気になっています。

[311 デフォルトの名無しさん NG NG]

ゲーム製作技術板より転載

AdaSDL
　http://adasdl.sourceforge.net/
NeHe new base code with Ada
　http://www.abyss2.demon.co.uk/projects/ada/index.html

[312 デフォルトの名無しさん NG NG]

今でも使ってるのかな？

[313 デフォルトの名無しさん NG NG]

>>312
今でも使っているし、多分１００年後も使っているだろう。

軍隊という所はそういう所です。

[314 デフォルトの名無しさん NG NG]

Delphiのそっくりじゃん！
妹？

[315 デフォルトの名無しさん NG NG]

>>314
C++とDが違う程度には違う

[316 デフォルトの名無しさん NG NG]

10歳違いの妹？

[317 デフォルトの名無しさん NG NG]

頑固でかたくなにゆずらない親父 ada
若くてすぐにつっぱしる Delphi

[318 デフォルトの名無しさん NG NG]

日本語の参考サイトがあんまりないね…

[319 デフォルトの名無しさん NG NG]

>>318
確かにあまりみかけないな

[320 デフォルトの名無しさん NG NG]

ちょっと使ってみようっと。

[321 デフォルトの名無しさん NG NG]

レス数が少ないけど、あまり使われてないのか

[322 デフォルトの名無しさん NG NG]

>>321
多分そうだろうな。

[323 デフォルトの名無しさん NG NG]

Adaの構文がCよりだったらなぁ…。で、Ada使ってるﾔｼのOSって何？
漏れはﾃﾞﾋﾞｱｿだけど。

[324 デフォルトの名無しさん NG NG]

点呼2！…って解釈でいいのかな？

Windows2000
上の方でA#いじってた奴です

[325 デフォルトの名無しさん NG NG]

>>324
Linuxだと、Adaの独自のﾏﾆｭｱﾙがあったり、cursesっていう端末制御ﾗｲﾌﾞﾗﾘが使えたりで、
他にもGNATとか色々ありますよ。Linuxは低燃費だからいらなくなったPCで試してみると面白いよ。

[326 デフォルトの名無しさん NG NG]

>>325
「いらなくなったPC」欲しいなあ…
WindowsでもgnatはありますしAPIは呼べますよん

…まさか、ふたりしかこのスレに残って無いなんてことは…！？

[327 デフォルトの名無しさん NG NG]

え？　点呼とってたんですか？
じゃ、３。

Win2000 & gnat & gwindows

[328 デフォルトの名無しさん NG NG]

4
redhat

[329 323,325 NG NG]

WindowsにもGNATとかあるんだ。ｽﾏｿ。ところで「ﾌﾟﾛｸﾞﾗﾐﾝｸﾞの壷　III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はﾌﾟﾛｰｶﾞさんでつ。他には「ﾊｯｶｰｽﾞ大事典」にもあった。話は変わるけどさ
(また重複してたらｽﾏｿ)Linuxには開発者(ﾕｰｻﾞではなく)向けのﾊﾟｯｹｰｼﾞが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからﾕｰｻﾞには開発者ﾚﾍﾞﾙの自由もあるんだよね。よく「Have Fun！」とか書いてある。
で、ﾃﾞｭｱﾙﾌﾞｰﾄしてLinux使ってるWindowserはいる？

[330 323,325 NG NG]

WindowsにもGNATとかあるんだ。ｽﾏｿ。ところで「ﾌﾟﾛｸﾞﾗﾐﾝｸﾞの壷　III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はﾌﾟﾛｰｶﾞさんでつ。他には「ﾊｯｶｰｽﾞ大事典」にもあった。話は変わるけどさ
(また重複してたらｽﾏｿ)Linuxには開発者(ﾕｰｻﾞではなく)向けのﾊﾟｯｹｰｼﾞが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからﾕｰｻﾞには開発者ﾚﾍﾞﾙの自由もあるんだよね。よく「Have Fun！」とか書いてある。
で、ﾃﾞｭｱﾙﾌﾞｰﾄしてLinux使ってるWindowserはいる？

[331 デフォルトの名無しさん NG NG]

sage忘れを阻止しようとした末の二重ｶｷｺ。ｽﾚ汚してｽﾏｿ(´･ω･｀)

[332 デフォルトの名無しさん NG NG]

>>329
デュアルブートじゃないけど、
Win2000で、Virtual PCにLinux入れて遊んでる。

[333 デフォルトの名無しさん NG NG]

記述量がめちゃくちゃ多いだろ？

[334 デフォルトの名無しさん NG NG]

うん。

[335 デフォルトの名無しさん NG NG]

>>333
もう少し少なくなればいいのにね。

[336 デフォルトの名無しさん NG NG]

Ada は、Panic に成らないような、エラー処理がふんだんにできると
聞きましたが、そうなんでしょうか｡

[337 デフォルトの名無しさん NG NG]

>>336
むかしのイメージだねえ。

[338 デフォルトの名無しさん NG NG]

>>336

冷戦前はね、といってみる…。

[339 デフォルトの名無しさん NG NG]

商業ﾍﾞｰｽのAdaはものすごく枯れてるらしいねぇ。そして、このｽﾚは別の意味で
枯れてきてるような気がw。「2ch流らくらくAda学習術」みたいな、Ada版K&Rでも作って
みたいなぁ。ちなみに、Adaで有名なTutorialみたいな物はあるのでしょうか ＞詳しい人

[340 デフォルトの名無しさん NG NG]

>>336
いまや、C++, Java, C#にも例外処理はあるし、
オブジェクト指向だから協力。

[341 デフォルトの名無しさん NG NG]

>>339
昔のbitの別冊。

[342 デフォルトの名無しさん NG NG]

今現在で、他の言語と比べたAdaの利点ってなんだろう？

[343 デフォルトの名無しさん NG NG]

ランデブーという圧倒的利点が・・・ｗ

ボーランドがコンパイラを出してれば、Adaもメジャーになれてたかもな

[344 デフォルトの名無しさん NG NG]

Ada0Yになると、また色々面白いことができそうなんだが、
正直Ada95時点では、強力過ぎて迷惑な型チェックとランデブー等組み込みの同期メカニズムぐらいしか無いな

いや、マルチスレッドプログラムで、構文故にケアレスミスを弾いてくれるのはありがたい筈なんだけど

[345 デフォルトの名無しさん NG NG]

Ada0Yが登場するのはいつなんだ？

[346 デフォルトの名無しさん NG NG]

独立型戦闘支援ユニットADA

[347 デフォルトの名無しさん NG NG]

このまま消えるのは、惜しい逸材なんだが
PL/Iと同じ運命をたどるのだろうな
Adaの先進的だった機能は
C++にほとんどキャッチアップされてしまったから
存在意義もあまりないし

[348 デフォルトの名無しさん NG NG]

米軍のいろんな所で使われているんじゃないの？

[349 デフォルトの名無しさん NG NG]

Ada0Yを知った時はびっくりしたが、Fortranですら改定され続けてるんだ。
それに、先進的な言語を作ろうとしたのではなくて、
必要な機能を備えた言語を作ろうとしてできたわけだから。
しかも組み込み向けだし。
日本での需要が無かろうが余計な心配だろ。

[350 デフォルトの名無しさん NG NG]

この言語すたれちゃったのか？

[351 デフォルトの名無しさん NG NG]

gccのメーリングリストとか見てると、続々とAda0Yの先取り実装がなされてて
このところ次のバージョンが楽しみではある。

とりあえずクロージャとinterfaceさえ追加されれば他の言語に追いつける。
そうすれば元から持ってたスレッドや低レベル操作で優位に立てる…んじゃないかなー、と

[352 デフォルトの名無しさん NG NG]

adaどんな環境で書いてる？
emacs？

愛用のxyzzyにada-modeなくて悲しい・・・

[353 デフォルトの名無しさん NG NG]

>>352
XEmacsです。

[354 デフォルトの名無しさん NG NG]

vi

[355 デフォルトの名無しさん NG NG]

xyzzyで自作ada-mode

[356 デフォルトの名無しさん NG NG]

>>355
晒して下さい。おながいします
ハァハァ

[357 デフォルトの名無しさん NG NG]

漏れは趣味プログラミングで使ってるけど、仕事で使ってる人いる？

[358 デフォルトの名無しさん NG NG]

いたら怖い
F22を自衛隊が採用しても
F22のメンテするのはメリケンでしょ？

[359 デフォルトの名無しさん NG NG]

メンテは日本人がやるでしょ。
ただブラックボックスを開けようとすると爆発するけど。

[360 デフォルトの名無しさん NG NG]

IBMとかAONIXがPC向けにコンパイラ売ってるよ
ってことはPC向けの仕事があるからじゃないか？＞向こうでは

潜水艦にNTなんて馬鹿な真似用じゃ無いことは祈っておくが

[361 デフォルトの名無しさん NG NG]

GTK　Ada
http://libre.act-europe.fr/GtkAda/

[362 デフォルトの名無しさん NG NG]

>>356
ruby.lのキーワード変えたくらいの
しょぼいものなので、晒すほどのできではないです。
emacsのやつを移植使おうとしたけどでかくてやめた。

[363 デフォルトの名無しさん NG NG]

おお、ruby.lを見ればなんとかインデントくらいは実装できそうだ
thanx！

[364 デフォルトの名無しさん NG NG]

Ada0Yはいつ頃出るんだろう…？

[365 デフォルトの名無しさん NG NG]

>>364
0Yだけに、2009年までには出るのでは？

[366 デフォルトの名無しさん NG NG]

>>364
英語でぐぐったところ、どうやら"Ada05"になりそう。来年。

[367 デフォルトの名無しさん NG NG]

>>366
来年ですか、ありがとう。

[368 デフォルトの名無しさん NG NG]

>>367
規格が来年ってだけで、GNAT(gcc)に限れば先行実装されてきてるYO！
とりあえず今のところlimited withと、他のOOPLライクなメソッド呼び出し構文ぐらいは動く。
-gnatXをつけてコンパイルだ。

[369 デフォルトの名無しさん NG NG]

だれか、俺にrandezvousを教えてくれ。

メッセージを送信すると受信側のタスクが受信して処理し終わるまでブロッキング。
受信側のタスクはメッセージが送られてくるまでブロッキングされる。

というニュアンスでいいの？
正確なところをフォロープリーズ。

[370 デフォルトの名無しさん NG NG]

私も教えてほしい…
一般に使われてるMutex/クリティカルセクションと、
Adaのランデブー/protected型の違いによる
コーディングスタイルというかマルチスレッド用デザパタというか
そういうのの差違を説明したところないですかー？

[371 デフォルトの名無しさん NG NG]

ランデブーって MPI みたいなやつ？

http://www-unix.mcs.anl.gov/mpi/

[372 デフォルトの名無しさん NG NG]

早く規格ができないかな。

[373 デフォルトの名無しさん NG NG]

面白そうだから今度使ってみようかな

[374 デフォルトの名無しさん NG NG]

win版開発環境はあるのか？

[375 デフォルトの名無しさん NG NG]

>>374
コマンドラインだけでよければgccの対応言語のひとつ。
開発環境が欲しければgnat.comとかIBMとかaonixが売っているらしい

[376 デフォルトの名無しさん NG NG]

この言語を使うことによるメリットは何だろう？

[377 デフォルトの名無しさん NG NG]

そりゃもう、徹底的なコンパイル時チェックによって、コンパイルエラーと戦いながら
バグの混じる余地の無いソースを書き上げる快感ですよ

[378 デフォルトの名無しさん NG NG]

あだスレまだあったのか

[379 デフォルトの名無しさん NG NG]

こりゃえいだ

[380 デフォルトの名無しさん NG NG]

>>379
工エｴェｪ(´д｀)ｪェｴエ工

[381 デフォルトの名無しさん NG NG]

gcc3.5はいつになるのかな…

[382 デフォルトの名無しさん NG NG]

>>375
gcc って直接ネイティブコード吐くの?
それとも C を経由?

[383 デフォルトの名無しさん NG NG]

>>382
gcc -c aaa.adbとかでコンパイルするから、Cは経由してないはず。
もっとも、gccの中間表現は経由してるだろうけど、これはgccでコンパイルできる言語ならどれも同じ

[384 デフォルトの名無しさん NG NG]

この言語を使うと、他の言語を使った時よりもセキュリティが堅固なシステムを作れるのか？

[385 デフォルトの名無しさん NG NG]

>>384
いんや、実行時はCと変わんないよ。コンパイル時チェックが厳しいだけ
まあ、デバッグコンパイルしたのを運用すれば範囲外の数値なんかは検出してくれるが…

[386 デフォルトの名無しさん NG NG]

盛り上がってまいりました！

[387 デフォルトの名無しさん NG NG]

>>386
工エｴェｪ（´д｀）ｪェｴエ工

[388 デフォルトの名無しさん NG NG]

>>387
(・∀・)ｲﾀﾞ!!

[389 デフォルトの名無しさん NG NG]

>>374
>>375
名前がまぎらわしいけど、フリーのIDEあるよ。
GPS: The GNAT Programming System
http://libre.act-europe.fr/gps/main.html

あと、前からあるのはAdaGIDEとか。
http://www.usafa.af.mil/dfcs/bios/mcc_html/adagide.html

[390 デフォルトの名無しさん NG NG]

GPS…酷い名前だ。

[391 デフォルトの名無しさん NG NG]

>>390
誤解されそうだな。

[392 デフォルトの名無しさん NG NG]

>>390
名前が一緒っていいのか？

[393 デフォルトの名無しさん NG NG]

>>384
まあ、C/C++でいうバッファオーバフローはないね。
http://www.linux.or.jp/JF/JFdocs/Secure-Programs-HOWTO/c-cpp.html