米国国防省の標準高等言語エイダ（Ａｄａ）を語れ！
それくらい知っておけ。常識だぞ。
ttp://mfg07.nikkei.co.jp/pub/science/page_2/magazine/9908/19c.html
あれ何だっけ？
えいどりあーーーーーーーーーーーーーーーーーーーーーん！！！
スウェーデン生まれなんだって。
ほんとのところどうだったのよ?
馬鹿でかい言語仕様になってしまい
効率の良いコンパイラも作れなくなった
筋の悪い言語。
これ最強。
構文ミスで軌道が狂う。
これ最強。
今はTRONだっけか。
ひとつのミスで血税ドブ捨て
これ最強
「汎用パッケージ」ってやつが、今の「クラス」に相当していて、本当に汎用的な
用途に使えるのがすごいと思った。
例外処理も洗練されていて使いやすかった。
ループの廻し方とか、列挙型の扱いも美しかった。
ただ、元請会社の基本設計が最悪で、Adaの開発なのに中身は Cで作った関数を
Adaのメインモジュールから呼ぶだけ。
あの設計者は、懲役3年執行猶予2年くらいには相当するね。
SunのハイエンドマシンでJavaなら一応達成出来ているのでは？
bug freeって
バグが無いって意味かな？
KDEの壁紙にも書いてあったけど…。
80年代なら、ModulaとAdaぐらいじゃないの？
とりあえず、言語仕様読んで萌えたAlgol系言語は先にも後にもAdaだけだな。
いまじゃあ、C++がAdaの機能をキャッチアップしちゃったから、あんまり存在意義無いかも。
でも、C++に標準のスレッド機能ってもうあったっけ？
別に普通に存在するぞ。Gnuにもある（らしい）し。
ただ、C++やDelphiみたくOOPな記法は採用していない。
というのも、OOP言語の持つような機能は virtual method call 以外は、
すでに素のAdaが機能として持っていたからね。
マルチスレッド、情報隠蔽、モジュール、例外処理、静的多態、汎用体（テンプレート）などね。
virtual method tableを持つ、tag つき record(構造体)と、
tag つき record の引数を受け取って動的多態ができるサブプログラム(method)が導入された。
tag つき record はもちろん派生ができる（単一継承のみ)。
Adaは巨大だ巨大だといわれまくったけど、C++程じゃないよ（ｗ
スレッドじゃなくてタスクだよ。ランデブーで同期/通信するマルチタスク。
ところでAda.NETってどうなったんだろう…数ある.NET対応言語の一覧で、一度だけ見かけた気がする(曖昧)のだが、真実や如何に？
ｶﾅｰﾘ眉唾だねぇ。Eiffel.NET とかも (話だけは) でてたけど。
>>43
やっぱ眉唾ですよねえ…期待してたんですが
Eiffel.NETのほうは、Microsoftの記事からリンクが貼られてましたから
こっちは実在するのではないかと
Eiffel.NET↑
Ａｄａも昔の記事を見るとリストに入ってるんだけど。
まじ？
どんな記述なんですか？、２〜３行見てみたい気もするのですが
もし関連書籍とかあればうれしいかなと、、
以後SR(シリアライゼイションリソース)系言語一派をなした。
http://www.scism.sbu.ac.uk/law/Section1/chap2/s1c2p1.html
http://www.adahome.com/
http://www.gnuada.org/
http://www.gnat.com/
Adaで書かなくてもペンタゴンに納入できるんですか？
ためしにHello, World!のサンプルコードでも書いておくれよ。
procedure Hello is
begin
Ada.Text_IO.Put_line("Hello World !");
end Hello;
GCあるがネイティブ(他のスレで話題になっているD言語と同じような組み合わせ)、
Win32APIなんかも直接呼べる。何ならサンプル貼るけど、
Cとかと違い厳格な分白紙窓出すだけで膨大になるぞ〜(w
何でそういう事になったのか詳しい人いませんか？
「Adaはエ〜ダ」
どうでもええだ。
そりゃねぇ〜だ。
TurboAdaとかVisualAdaが出てればオレもやったかも。
.govと.milでは基準が違うのかも。
(SR=AdaなどのCSP系の通信機構をまとめて出来た言語)
２〜１６進表現全部フォローしなきゃならないとか（３とか１５とかも）
Ａｄａと名乗る為に審査パスしなきゃいけないとか
サブセットは認めないとかで
面倒だったのかな。（単なる憶測）
>TurboAdaとかVisualAda
いくら仕様が厳格でも、上記の処理系じゃ、
軍にソフトを納入できないような気がする。
>>50 素人なんですが、CSP系という事であれば、
NGSCMのセンセのページに昔載ってた、
SR(Syncronized Resource)とは違うのですか？
>>64 いつの号でしょうか？
３月号なら、音楽信号処理が載ってたんで、買ったけど読んでない(鬱
そりゃねぇ〜だ。Again
総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…
> 例え総称がCLRに無くても、その言語内だけで使うぶんには勝手に展開して
> しまえばいいような気も…と言ってみる
> 総称も多重継承も無いEiffel#…メイヤー先生が直々にMSにプレゼンしてこの結果…
おいおい言語非依存にするっていう制約があるぞ。
それにメイヤーが何言っても聞くような奴じゃないぞ、あいつは。
つい最近までPascalやっていたような偏屈だからな。
gamecubeﾉBAIOﾔﾘﾀｲｷﾌﾞﾝ
> SR(Syncronized Resource)とは違うのですか？
スマン間違えた。Serialize-じゃなくてSynchronizedだ。
米軍へ売り込むためなのかな。
もっとも82＝81ならその限りではないが
たぶん、>>82=>>81と思われ。
そんなの気づく奴は、本人以外なかなかいない。
よくできてるとは思うけどね。
80年代、Adaを勉強しようとして、まちがえてDIANAの本買って鬱になった。
Ada構文⇔DIANA木に変換できるらしい。NTT通研がやっていたと思う。
81って、大昔の ASCII かなんかの雑誌にのっていた覚えがあるよ。
だからいまだにアメリカではPascalを教えてるんだね。
あとでCにもAdaにもいけるからね。
PL/1, JOVIAL, modula-2/3などなど
PascalからCという流れは？だが。
そういやコメントが--なんだよね。
存続;
else
dat落ち;
end if;
-- ぶらさがりelse問題の無い理想的なif文です
存続;
exit when dat落ち;
end loop;
-- 無限ループ専用の構文があるのも珍しいかも
loop
exit A;
end loop;
end loop;
loop
loop
goto B;
end loop;
end loop;
<<B>>
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;
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;
多態で飛んでいった先の各ルーチンに渡されるオブジェクトはクラスワイド型じゃない方ですよね？
多態先からまた多態したい時はそのつどクラスワイド型にキャストし直すしか無いのでしょうか？
> -- 無限ループ専用の構文があるのも珍しいかも
CSPの影響でしょうね。
Concurrent Cは、Adaから影響を受けたね。
100〜のスレッドの続きを読む
