米国国防省の標準高等言語エイダ(Ada)を語れ!

■ このスレッドは過去ログ倉庫に格納されています
1名無しさんは伊達じゃない
垢版 |
NGNG
どうよ?
NGNG
>>314
C++とDが違う程度には違う
NGNG
10歳違いの妹?
NGNG
頑固でかたくなにゆずらない親父 ada
若くてすぐにつっぱしる Delphi
318デフォルトの名無しさん
垢版 |
NGNG
日本語の参考サイトがあんまりないね…
319デフォルトの名無しさん
垢版 |
NGNG
>>318
確かにあまりみかけないな
320デフォルトの名無しさん
垢版 |
NGNG
ちょっと使ってみようっと。
321デフォルトの名無しさん
垢版 |
NGNG
レス数が少ないけど、あまり使われてないのか
322デフォルトの名無しさん
垢版 |
NGNG
>>321
多分そうだろうな。
323デフォルトの名無しさん
垢版 |
NGNG
Adaの構文がCよりだったらなぁ…。で、Ada使ってるヤシのOSって何?
漏れはデビアソだけど。
NGNG
点呼2!…って解釈でいいのかな?

Windows2000
上の方でA#いじってた奴です
325デフォルトの名無しさん
垢版 |
NGNG
>>324
Linuxだと、Adaの独自のマニュアルがあったり、cursesっていう端末制御ライブラリが使えたりで、
他にもGNATとか色々ありますよ。Linuxは低燃費だからいらなくなったPCで試してみると面白いよ。
NGNG
>>325
「いらなくなったPC」欲しいなあ…
WindowsでもgnatはありますしAPIは呼べますよん

…まさか、ふたりしかこのスレに残って無いなんてことは…!?
NGNG
え? 点呼とってたんですか?
じゃ、3。

Win2000 & gnat & gwindows
NGNG
4
redhat
329323,325
垢版 |
NGNG
WindowsにもGNATとかあるんだ。スマソ。ところで「プログラミングの壷 III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はプローガさんでつ。他には「ハッカーズ大事典」にもあった。話は変わるけどさ
(また重複してたらスマソ)Linuxには開発者(ユーザではなく)向けのパッケージが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからユーザには開発者レベルの自由もあるんだよね。よく「Have Fun!」とか書いてある。
で、デュアルブートしてLinux使ってるWindowserはいる?
330323,325
垢版 |
NGNG
WindowsにもGNATとかあるんだ。スマソ。ところで「プログラミングの壷 III技術編」なる本に
Adaについて少し語ってある。数頁にわたって他の言語と比較してた。
ちなみに著者はプローガさんでつ。他には「ハッカーズ大事典」にもあった。話は変わるけどさ
(また重複してたらスマソ)Linuxには開発者(ユーザではなく)向けのパッケージが別にあって
開発者達が内部構造を解説した文書とかあって、そういうのが全ての処理系に
あるからユーザには開発者レベルの自由もあるんだよね。よく「Have Fun!」とか書いてある。
で、デュアルブートしてLinux使ってるWindowserはいる?
NGNG
sage忘れを阻止しようとした末の二重カキコ。スレ汚してスマソ(´・ω・`)
NGNG
>>329
デュアルブートじゃないけど、
Win2000で、Virtual PCにLinux入れて遊んでる。
NGNG
記述量がめちゃくちゃ多いだろ?
NGNG
うん。
335デフォルトの名無しさん
垢版 |
NGNG
>>333
もう少し少なくなればいいのにね。
336デフォルトの名無しさん
垢版 |
NGNG
Ada は、Panic に成らないような、エラー処理がふんだんにできると
聞きましたが、そうなんでしょうか。
NGNG
>>336
むかしのイメージだねえ。
NGNG
>>336

冷戦前はね、といってみる…。
NGNG
商業ベースのAdaはものすごく枯れてるらしいねぇ。そして、このスレは別の意味で
枯れてきてるような気がw。「2ch流らくらくAda学習術」みたいな、Ada版K&Rでも作って
みたいなぁ。ちなみに、Adaで有名なTutorialみたいな物はあるのでしょうか >詳しい人
NGNG
>>336
いまや、C++, Java, C#にも例外処理はあるし、
オブジェクト指向だから協力。
NGNG
>>339
昔のbitの別冊。
342デフォルトの名無しさん
垢版 |
NGNG
今現在で、他の言語と比べたAdaの利点ってなんだろう?
NGNG
ランデブーという圧倒的利点が・・・w

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

いや、マルチスレッドプログラムで、構文故にケアレスミスを弾いてくれるのはありがたい筈なんだけど
345デフォルトの名無しさん
垢版 |
NGNG
Ada0Yが登場するのはいつなんだ?
NGNG
独立型戦闘支援ユニットADA
NGNG
このまま消えるのは、惜しい逸材なんだが
PL/Iと同じ運命をたどるのだろうな
Adaの先進的だった機能は
C++にほとんどキャッチアップされてしまったから
存在意義もあまりないし
NGNG
米軍のいろんな所で使われているんじゃないの?
NGNG
Ada0Yを知った時はびっくりしたが、Fortranですら改定され続けてるんだ。
それに、先進的な言語を作ろうとしたのではなくて、
必要な機能を備えた言語を作ろうとしてできたわけだから。
しかも組み込み向けだし。
日本での需要が無かろうが余計な心配だろ。
350デフォルトの名無しさん
垢版 |
NGNG
この言語すたれちゃったのか?
NGNG
gccのメーリングリストとか見てると、続々とAda0Yの先取り実装がなされてて
このところ次のバージョンが楽しみではある。

とりあえずクロージャとinterfaceさえ追加されれば他の言語に追いつける。
そうすれば元から持ってたスレッドや低レベル操作で優位に立てる…んじゃないかなー、と
352デフォルトの名無しさん
垢版 |
NGNG
adaどんな環境で書いてる?
emacs?

愛用のxyzzyにada-modeなくて悲しい・・・
353デフォルトの名無しさん
垢版 |
NGNG
>>352
XEmacsです。
NGNG
vi
NGNG
xyzzyで自作ada-mode
NGNG
>>355
晒して下さい。おながいします
ハァハァ
357デフォルトの名無しさん
垢版 |
NGNG
漏れは趣味プログラミングで使ってるけど、仕事で使ってる人いる?
358デフォルトの名無しさん
垢版 |
NGNG
いたら怖い
F22を自衛隊が採用しても
F22のメンテするのはメリケンでしょ?
NGNG
メンテは日本人がやるでしょ。
ただブラックボックスを開けようとすると爆発するけど。
NGNG
IBMとかAONIXがPC向けにコンパイラ売ってるよ
ってことはPC向けの仕事があるからじゃないか?>向こうでは

潜水艦にNTなんて馬鹿な真似用じゃ無いことは祈っておくが
361デフォルトの名無しさん
垢版 |
NGNG
GTK Ada
http://libre.act-europe.fr/GtkAda/
NGNG
>>356
ruby.lのキーワード変えたくらいの
しょぼいものなので、晒すほどのできではないです。
emacsのやつを移植使おうとしたけどでかくてやめた。
NGNG
おお、ruby.lを見ればなんとかインデントくらいは実装できそうだ
thanx!
364デフォルトの名無しさん
垢版 |
NGNG
Ada0Yはいつ頃出るんだろう…?
365デフォルトの名無しさん
垢版 |
NGNG
>>364
0Yだけに、2009年までには出るのでは?
NGNG
>>364
英語でぐぐったところ、どうやら"Ada05"になりそう。来年。
367デフォルトの名無しさん
垢版 |
NGNG
>>366
来年ですか、ありがとう。
NGNG
>>367
規格が来年ってだけで、GNAT(gcc)に限れば先行実装されてきてるYO!
とりあえず今のところlimited withと、他のOOPLライクなメソッド呼び出し構文ぐらいは動く。
-gnatXをつけてコンパイルだ。
NGNG
だれか、俺にrandezvousを教えてくれ。

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

というニュアンスでいいの?
正確なところをフォロープリーズ。
NGNG
私も教えてほしい…
一般に使われてるMutex/クリティカルセクションと、
Adaのランデブー/protected型の違いによる
コーディングスタイルというかマルチスレッド用デザパタというか
そういうのの差違を説明したところないですかー?
NGNG
ランデブーって MPI みたいなやつ?

http://www-unix.mcs.anl.gov/mpi/
372デフォルトの名無しさん
垢版 |
NGNG
早く規格ができないかな。
373デフォルトの名無しさん
垢版 |
NGNG
面白そうだから今度使ってみようかな
374デフォルトの名無しさん
垢版 |
NGNG
win版開発環境はあるのか?
NGNG
>>374
コマンドラインだけでよければgccの対応言語のひとつ。
開発環境が欲しければgnat.comとかIBMとかaonixが売っているらしい
376デフォルトの名無しさん
垢版 |
NGNG
この言語を使うことによるメリットは何だろう?
NGNG
そりゃもう、徹底的なコンパイル時チェックによって、コンパイルエラーと戦いながら
バグの混じる余地の無いソースを書き上げる快感ですよ
NGNG
あだスレまだあったのか
379デフォルトの名無しさん
垢版 |
NGNG
こりゃえいだ
380デフォルトの名無しさん
垢版 |
NGNG
>>379
工エエェェ(´д`)ェェエエ工
NGNG
gcc3.5はいつになるのかな…
NGNG
>>375
gcc って直接ネイティブコード吐くの?
それとも C を経由?
NGNG
>>382
gcc -c aaa.adbとかでコンパイルするから、Cは経由してないはず。
もっとも、gccの中間表現は経由してるだろうけど、これはgccでコンパイルできる言語ならどれも同じ
384デフォルトの名無しさん
垢版 |
NGNG
この言語を使うと、他の言語を使った時よりもセキュリティが堅固なシステムを作れるのか?
NGNG
>>384
いんや、実行時はCと変わんないよ。コンパイル時チェックが厳しいだけ
まあ、デバッグコンパイルしたのを運用すれば範囲外の数値なんかは検出してくれるが…
386デフォルトの名無しさん
垢版 |
NGNG
盛り上がってまいりました!
387デフォルトの名無しさん
垢版 |
NGNG
>>386
工エエェェ(´д`)ェェエエ工
NGNG
>>387
(・∀・)イダ!!
389デフォルトの名無しさん
垢版 |
NGNG
>>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
NGNG
GPS…酷い名前だ。
391デフォルトの名無しさん
垢版 |
NGNG
>>390
誤解されそうだな。
392デフォルトの名無しさん
垢版 |
NGNG
>>390
名前が一緒っていいのか?
393デフォルトの名無しさん
垢版 |
NGNG
>>384
まあ、C/C++でいうバッファオーバフローはないね。
http://www.linux.or.jp/JF/JFdocs/Secure-Programs-HOWTO/c-cpp.html
394デフォルトの名無しさん
垢版 |
NGNG
>> 371
MPIとは違うな。
rendezvousは、1ノード上のマルチスレッド間通信。

MPIみたいな多ノード間の通信の言語仕様は、Annex E "Distributed Systems"。
http://www.adaic.org/standards/95lrm/html/RM-E.html
395デフォルトの名無しさん
垢版 |
NGNG
このスレの住人には常識かもしれんけど

http://e-words.jp/w/Ada.html

> 当時の最新のプログラミング理論やソフトウェア方法論をまるごと取り入れようとした野心的な言語仕様で、厳密なデータ型の定義や、ソフトウェアのモジュール(部品)化、並行処理に関する仕様が特徴的である。

> しかし、あまりに多くの仕様を取り込もうとしたことが過度の肥大化を招き、当時の貧弱なハードウェアで開発を行なうのは困難になってしまった。

> このため、1980年代中盤から後半にかけて、より「軽い」仕様を持ったC言語に取って代わられた。

これ文の特にこの部分
>当時の貧弱なハードウェアで開発を行なうのは困難になってしまった。

これ読んでふと思た。
パソコンでもメモリが1G、CPUクロック3Gが常識な今、まだアセンブラに近いようなC言語使ってて良いの?
ポインタなんてのはCPUの構造を熟知してアセンブラがある程度わかって初めて正確に理解できるようなもんでしょ。

きっとAdaの時代がくるに違いありません。ひょっとしたら進化したPascalなのかもしれないけど?
識者の検証を頂けたら幸いです。
NGNG
Adaって、C並にガリガリの組込用言語だと思ってるんだけど。
Cの場合実装依存として投げてしまってる部分を、
全部ガッチガッチに文法にしてコンパイルエラー出せるようにしてあるから
仕様がでっかくなってるだけで。
NGNG
>>393にも関連するけどAdaでOSを作ろうとかいう話があったね。
(海外Webサイト)
NGNG
コンパイルエラーちゃんと出してくれる方がプログラマにはやさしいと思うが?
NGNG
>Adaって、C並にガリガリの組込用言語だと思ってるんだけど。
Adaを論理回路設計に特化させたのがVHDLだし。
つまりVHDLでCPUも造れてしまうわけで。
400デフォルトの名無しさん
垢版 |
NGNG
 
NGNG
なかなか次のgcc出ないなあ…Ada05早く使いたいYO!
402デフォルトの名無しさん
垢版 |
NGNG
>>402
05だけに、2005年まで出ないのでは?
NGNG
ではこのスレも来年まで保守か…長寿スレだな(いまでも充分
NGNG
型の種類が多すぎて覚えられない。

あと、変数を大文字から始めるという慣習のために、小指がいたくなる。
NGNG
こんなイイ言語がCより前からあったなんて….
NGNG
>>404
そんな貴方に親指シフト

マジレスすると、大文字小文字無視(だから"_"で区切ってる)なので、全部小文字で打て
407デフォルトの名無しさん
垢版 |
NGNG
408デフォルトの名無しさん
垢版 |
NGNG
>> 405
Plauger(ANSI C委員会)さんも昔
“Beyond 100,000 lines of code, you should probably be coding in Ada.”
と言ってた。
NGNG
なに?コンテナライブラリが作って?
NGNG
http://www.ada-auth.org/ai-files/grab_bag/Amendment-D8.html
誰かこいつを要約してくれ
NGNG
ISOで制定されたAda95に対する修正案のドラフト版?
NGNG
列挙型としてboolean,character,Wide_Characterが予め定義されている。
 ↓(修正)
それにWide_Wide_Characterも追加しる!

とかそんなのがいっぱい書いてあるみたいだけど…
NGNG
overridingの明示が、overriding procedure …って書くようになってるなあ
pragma overriding …はどうなるんだろう

あと面白そうなのが拡張return文
C++なんかではreturnで(コピー)コンストラクタが走った後もうそのオブジェクトには触れないが
関数を抜ける前に細工ができるようになってる
414デフォルトの名無しさん
垢版 |
NGNG
Ada05がメジャーになる日は果たしてくるのだろうか?
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。

ニューススポーツなんでも実況