は、Gimp用ドキュメを書Ada?

Question

他の スレッド この見積もり

5. Gimp用ドキュメVMビームHiPEは主C.
6. リンクにドライバーの書き込主C.（使用しVM としてコミ ます。)

を読んであるという意見Adaのキングモジュール性、実行時のチェック、並列処理等など。以上のことのようなリスクがあるという

うGimp用ドキュメ査Adaするnoticably良くも悪くものGettextを使った。

ただ仮想Q.

Answer 1

通常、私はこのようなトピックであなたのイタチ - 言葉の束を投げると思いますが、それはこの正確な質問<のhref =「http://sunnyday.mit.edu/16.355/Ziegler.docを」判明しますREL = "noreferrer">は、（それが.docファイルです。申し訳ありませんが）に研究されてきました。

合理的には、好奇心から、そのエンジニアの一人が数字をクランチなど、回を修正し、両方の言語で大量のコード、およびバグ率に、数年にわたってコンパイルされたデータ量の多いコンパイラを持っていました。

答えは「Cの開発コストは、エイダのものエクシード」でした。あなたは要約のタイトルを過ぎて読めば、あなたは彼らが書い考え出しことを参照してくださいねはエイダで同じコードが約半分にそれらの費用がどのようなCのコストでそれを書いての

私はこれを読んで、誰もがその結論に穴を突くことを切望していることを知っています。私はあまりにもでした。しかし、彼らは私がレポートに思いつく限りの角度に近いくそを見ます。

Answer 2

どのような方法で「より良いですか」？速いのようにより良いですか？以下のバグのように、より良いですか？より多くのポータブルのようにより良いですか？より読みやすいのように、より良いですか？より拡張性のような、より良い？

「より良い」引数のいずれかの適切な定義については、いずれかの方法を行うことができます。しかし、それだけで何のコンパイル言語は、あなたの目標の一つは、アプリケーションの移植性が高く作るのであればこのように、Cは優れた選択肢であるC.よりも移植されていない神聖な令状についてです。

より多くの人々はエイダよりもCを理解しています。それは少数の人々が言語に精通しているという理由だけで、エイダに書かれていた場合はErlangの拡張を書くことは非常に難しいかもしれません。

Cコードは非常にパフォーマンスすることができ、私は最適化をコンパイラにR / W CとAdaの間には比較の認識しています。

エイダの型チェックが役に立つかもしれない、またはそれが本当の問題である可能性があります。一つは、VMはそれ自身のタイプは、それには問題の部分にチェックしないことを前提としています。エイダRTTCのオーバーヘッドが完全に不必要な負担を課す可能性があります。

Answer 3

おそらく、しかし、どのような言語あなたのAdaコンパイラがで書かれていましたか？エイダ？あなたの最初のエイダのコンパイラを書き、コンパイラはどう？

あなたがソフトウェアを構築しているいくつかの時点で、正式な意味論とソフトウェアプロセスがはるかに重要でコーディングされたどのような言語の何かよりもされます。