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

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

どうよ？

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

>>28
SunのハイエンドマシンでJavaなら一応達成出来ているのでは？

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

落ちなくても bug free ではないけどな.

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

>>30
bug freeって
バグが無いって意味かな？
KDEの壁紙にも書いてあったけど…。

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

>>25
80年代なら、ModulaとAdaぐらいじゃないの？

とりあえず、言語仕様読んで萌えたAlgol系言語は先にも後にもAdaだけだな。
いまじゃあ、C++がAdaの機能をキャッチアップしちゃったから、あんまり存在意義無いかも。
でも、C++に標準のスレッド機能ってもうあったっけ？

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

ObjectADAは？

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

Ada95のことか。
別に普通に存在するぞ。Gnuにもある（らしい）し。

ただ、C++やDelphiみたくOOPな記法は採用していない。
というのも、OOP言語の持つような機能は virtual method call 以外は、
すでに素のAdaが機能として持っていたからね。
マルチスレッド、情報隠蔽、モジュール、例外処理、静的多態、汎用体（テンプレート）などね。

virtual method tableを持つ、tag つき record(構造体)と、
tag つき record の引数を受け取って動的多態ができるサブプログラム(method)が導入された。
tag つき record はもちろん派生ができる（単一継承のみ)。

Adaは巨大だ巨大だといわれまくったけど、C++程じゃないよ（ｗ

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

PL/IとC++はどっちがでかいの？

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

C++ > Ada > PL/I だと思う。

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

Adajima heihachi

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

18世紀に初めてプログラミングした人？

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

>>25
スレッドじゃなくてタスクだよ。ランデブーで同期/通信するマルチタスク。

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

おお、AdaスレだAdaスレだ♪

ところでAda.NETってどうなったんだろう…数ある.NET対応言語の一覧で、一度だけ見かけた気がする(曖昧)のだが、真実や如何に？

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

Perl.netは？

[0042 ｔ NG NG]

こりゃあエーダ。

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

>>40
ｶﾅｰﾘ眉唾だねぇ。Eiffel.NET とかも (話だけは) でてたけど。

[0044 40 NG NG]

ひさしぶりにあがっていると思ったらレスが…

>>43
やっぱ眉唾ですよねえ…期待してたんですが

Eiffel.NETのほうは、Microsoftの記事からリンクが貼られてましたから
こっちは実在するのではないかと

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

http://www.microsoft.com/japan/developer/net/multilang/pdc_eiffel.asp
Eiffel.NET↑
Ａｄａも昔の記事を見るとリストに入ってるんだけど。

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

PL/SQLはAda互換だよ〜

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

>>46
まじ？

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

多重継承も総称もない Eiffel.NET は嫌だ〜

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

AdaってF-22戦闘機にも採用されてるんですよね？

どんな記述なんですか？、２〜３行見てみたい気もするのですが
もし関連書籍とかあればうれしいかなと、、

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

Algol系。同期通信方式がCSP由来で、
以後SR(シリアライゼイションリソース)系言語一派をなした。

http://www.scism.sbu.ac.uk/law/Section1/chap2/s1c2p1.html
http://www.adahome.com/
http://www.gnuada.org/
http://www.gnat.com/

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

さいきんのアフガン派兵で兵士の装備がWin2000搭載だと言ってますが、
Adaで書かなくてもペンタゴンに納入できるんですか？

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

ていうかどんな言語なのよ。
ためしにHello, World!のサンプルコードでも書いておくれよ。

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

with Ada.Text_IO;
procedure Hello is
begin
　Ada.Text_IO.Put_line("Hello World !");
end Hello;

GCあるがネイティブ(他のスレで話題になっているD言語と同じような組み合わせ)、
Win32APIなんかも直接呼べる。何ならサンプル貼るけど、
Cとかと違い厳格な分白紙窓出すだけで膨大になるぞ〜(w

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

次のgccでAda使えるYO!

[0055 47 NG NG]

今日 PL/SQL の本を買ってみたら確かに Ada に近いと書いてあった。
何でそういう事になったのか詳しい人いませんか？

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

俺にAdaについて語らせれば、右にでるものはいないぜ！

　　「Adaはエ〜ダ」

[0057 48 NG NG]

Ada.NET はあったとしても、たぶん総称がないと思う。

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

Ada.NETはともかく、.NETに総称を付け加える研究をMSRでやってるよ。

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

>>56
どうでもええだ。

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

>>59
そりゃねぇ〜だ。

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

結局、なんで流行らなかったんですか？

[0062 名無しタン NG NG]

身近な実装があればなあ。
TurboAdaとかVisualAdaが出てればオレもやったかも。

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

>>51
.govと.milでは基準が違うのかも。

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

CマガジンにSRのこと載ってたね。
(SR=AdaなどのCSP系の通信機構をまとめて出来た言語)

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

>>61
２〜１６進表現全部フォローしなきゃならないとか（３とか１５とかも）
Ａｄａと名乗る為に審査パスしなきゃいけないとか
サブセットは認めないとかで
面倒だったのかな。（単なる憶測）

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

>>62
>TurboAdaとかVisualAda
いくら仕様が厳格でも、上記の処理系じゃ、
軍にソフトを納入できないような気がする。

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

枝スレはたまにあがるが盛り上がらんな

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

米軍は Ada+InterBase なのだろうか

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

>>68 InterBaseってボーランドのですか？

>>50 素人なんですが、CSP系という事であれば、
　　　NGSCMのセンセのページに昔載ってた、
　　　SR(Syncronized Resource)とは違うのですか？

>>64 いつの号でしょうか？
　　　３月号なら、音楽信号処理が載ってたんで、買ったけど読んでない(鬱

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

あげ

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

OracleのPL/SQLがAda似なのは米軍へ売り込むためだったのかな

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

米軍はHSP使ってます。先日国防省を訪ねたときにみました。

[0073 NG NG]

>72
そりゃねぇ〜だ。Again

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

例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開してしまえばいいような気も…と言ってみる
総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…

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

エイダ・ウォン

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

>>74
> 例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開して
> しまえばいいような気も…と言ってみる
> 総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…

おいおい言語非依存にするっていう制約があるぞ。

それにメイヤーが何言っても聞くような奴じゃないぞ、あいつは。
つい最近までPascalやっていたような偏屈だからな。

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

raise Age;

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

密かに>>75がつまらないギャグを言うスレはここですか。

gamecubeﾉBAIOﾔﾘﾀｲｷﾌﾞﾝ

[0079 50 NG NG]

>>69
> 　　　SR(Syncronized Resource)とは違うのですか？

スマン間違えた。Serialize-じゃなくてSynchronizedだ。

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

純国産OSのEOTAに標準でAdaがインストールされているのは
米軍へ売り込むためなのかな。

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

Ada, 楽々受かるからだ。

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

Ada, rakurakuukarukarada

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

82が気が付いてくれて、81も浮かばれただろ

もっとも82＝81ならその限りではないが

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

>>83
たぶん、>>82=>>81と思われ。

そんなの気づく奴は、本人以外なかなかいない。

よくできてるとは思うけどね。

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

Adaから派生したDIANAって知ってる？
80年代、Adaを勉強しようとして、まちがえてDIANAの本買って鬱になった。
Ada構文⇔DIANA木に変換できるらしい。NTT通研がやっていたと思う。

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

>>84
81って、大昔の ASCII かなんかの雑誌にのっていた覚えがあるよ。

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

Ada って Pascal から生まれたんでしょ？
だからいまだにアメリカではPascalを教えてるんだね。
あとでCにもAdaにもいけるからね。

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

Algol系の言語が好まれるということだな。
PL/1, JOVIAL, modula-2/3などなど

PascalからCという流れは？だが。

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

raise Sage; --(意味不明)

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

>>89
そういやコメントが--なんだよね。

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

if 書き込む then
　存続;
else
　dat落ち;
end if;

-- ぶらさがりelse問題の無い理想的なif文です

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

loop
　存続;
　exit when dat落ち;
end loop;

-- 無限ループ専用の構文があるのも珍しいかも

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

A: loop
　loop
　　exit A;
　end loop;
end loop;

loop
　loop
　　goto B;
　end loop;
end loop;
<<B>>

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

declare
　type S is array(Character) of Boolean;
　Age: S := ('A' | 'G' | 'E' => True, others => False):
　Sage: S := ('S' | 'A' | 'G' | 'E' => True, others => False):
　R: S;
begin
　R := Age and Sage; -- Booleanの配列はPascalみたく集合演算できる
end;

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

Thread.Write(Text => "仮引数明示呼びだし", Mail => sage);

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

with System; use System;
with Interfaces.C; use Interfaces.C;
with Interfaces.C.Strings; use Interfaces.C.Strings;
with Win32; use Win32;
with Win32.WinUser; use Win32.WinUser;
procedure WinHello is
　pragma Linker_Options("-Wl,-subsystem,windows");
　function To_CStr(C_Str: CHAR_Array) return LPCSTR is
　　function UC is new Ada.Unchecked_Conversion(Address, LPCSTR);
　begin
　　return UC(C_Str(C_Str'First)'Address);
　end;
　Dummy: Win32.INT;
　Text: constant CHAR_Array := "Text" & Win32.Nul;
begin
　Dummy := MessageBox(Null_Address, To_CStr(Text), To_CStr("Caption" & Win32.Nul), MB_YESNO);
end WinHello;

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

ADA95どうよ？

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

Ada95で、クラスワイド型じゃないと多態しないというのはまあいいのですけど、
多態で飛んでいった先の各ルーチンに渡されるオブジェクトはクラスワイド型じゃない方ですよね？
多態先からまた多態したい時はそのつどクラスワイド型にキャストし直すしか無いのでしょうか？

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

>>92
> -- 無限ループ専用の構文があるのも珍しいかも

CSPの影響でしょうね。

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

>>87
Concurrent Cは、Adaから影響を受けたね。

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

委員会が作った言語に優れたものは１つもない。

[0102 C++好き NG NG]

>>101
最近のC++には耳の痛いお言葉で…

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

Ｃ＋＋は、委員会が決めたのか？

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

C++に贈る言葉
「船頭多くして、船、山に登る」

[0105 C++好き NG NG]

>>103
最近は http://anubis.dkuug.dk/jtc1/sc22/wg21/ こういうところがメインですよ。
もうBjarne Stroustrup個人の言語じゃないです。

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

しかしAda(やCommonLisp)はそもそも委員会が設計した言語だからな。
もっとひどい。

[0107 C++好き NG NG]

CommonLispは、mailing-listの議論をGuy Steeleの独断でまとめた。
だから委員会じゃないが、確かにすっきりしない言語だな。

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

対照的なのはOberonとかSchemeとか。
好き嫌いはともかく、すっきりしてる。

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

うんだ、Ada はええだ。
恩を Ada で返すだ。

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

>>109
ﾜﾗﾀ

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

Adaに無限ループ専用の構文なんてないぞ。
loop文の繰り返し規則がオプションになってるだけ。

for ch in CHAR'RANGE loop ... end loop;
while ch in CHAR'RANGE loop ... end loop;
loop ... end loop;

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

平社員: 係長、何か泳いでいますね〜
係長: エイだ。

[0113 ＡＤＡ NG NG]

ＡＤＡ

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

保守

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

AADDAA

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

人類初のプログラマーは女性
http://www-6.ibm.com/jp/lead/010115_a.html

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

raise…してもネタも無し。保守

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

国防省というと、Multicsがついこないだまで現役で動いていた
そうですが、それってPL/IをAdaに焼き直して動かしていた
とかいう話はあるんでしょうか？

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

保守sage

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

age

[0121 _ NG NG]

作られた時代を考えたらAdaって凄く先進的な言語ですね。。。

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

作られたときは先進的だけど今はどうってことないじゃん。なんて国防総省が
いまだにエーダなんてつかってるかわからないよーん。ボケ。

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

F-22しか使われてるの知らないけど、他にはどんな軍用兵器の開発に
使われてるの？

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

スティンガー

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

エイダちゃん
ｷﾀ━━━(ﾟ∀ﾟ)━━━!!


でも年輩ハッカーしか知らないに(　つД｀)1デリゲート

[0126 C++好き NG NG]

>>122
違うよ。そういう後ろ向きの理由じゃなくて、Multicsはバリバリの現役だったよ。
B2 security通っていたからね。
http://williamstallings.com/Extras/Security-Notes/lectures/trusted.html

「コンピュータセキュリティの基礎」D. Russell, G.T. Gangemi Sr.
山口英監訳 アスキー出版、が日本語書籍では詳しい。絶版なのかな?
http://www.amazon.co.jp/exec/obidos/ASIN/4756102999/qid%3D1028710845/250-8907122-0857047

>>123
>>50から辿ってね〜。

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

国内でも航空管制で使われてない？

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

保守