どのプログラミング言語が最も見つけにくいバグを生成しますか？[閉まっている]

あなたの意見では、平均的なプログラマーが見つけにくいバグを最小限に抑えて機能を出力できる言語は何ですか？これはもちろん非常に広範な質問であり、私は非常に広く一般的な答えと知恵に興味があります。

個人的には、JavaおよびC＃プログラムの奇妙なバグを探すのにほとんど時間を費やさず、C ++コードには明確な繰り返しバグのセットがあり、Python / similarにはコンパイラによって検出される一般的で愚かなバグのセットがあります他の言語で。

また、完全に機能的なコードで書かれた大きくて複雑なプログラムを見たことがないので、この点で関数型言語を検討するのは難しいと感じています。ご入力ください。

編集：見つけにくいバグを完全にarbitrary意的に明確化：再現するのに15分以上かかり、原因を見つけて修正するのに1時間以上かかります。

これが重複している場合はご容赦ください。ただし、この特定のトピックについては何も見つかりませんでした。

言語の型システムが強力であればあるほど、コンパイル時により多くのバグがキャッチされます。

次の図は、よく知られているプログラミング言語のいくつかを、型システムの能力、単純さ、および安全性の観点から比較しています。[ ソース ]

*安全でない構成要素を使用する能力の要因。

「安全でない」キーワードと関連するポインター機構のために、C＃は安全でない行に詰め込まれます。しかし、これらを一種のインラインの外部関数メカニズムと考えたい場合は、C＃を空に向かって飛ばしてください。

Haskell '98を純粋であるとマークしましたが、GHC Haskellは関数の安全でない*ファミリーのために純粋ではないとマークしました。安全でない*を無効にすると、それに応じてGHC Haskellがジャンプアップします。

私の意見では、Haskellは一般的なエラーの原因を回避するのに役立ちます。

• それは純粋に機能的です：関数は（意図しない）副作用を持つことができません。これにより、マルチコアプログラミングが簡単になり、エラーが発生しにくくなります。
• 強く型付けされています：たとえば、bool、char、int、floatの値を誤って混在させることはできません
• 静的に型付けされている：コンパイル時に多くのプログラミングエラーがキャッチされる
• null値型定義の一部ではありません：これにより、10億ドルの間違いを回避できます
• 欠陥のある独自の実装を書く代わりに、再利用できる既製の高階関数がたくさんあります
• ガベージコレクターがあります：メモリエラーはほとんど排除されます（遅延評価戦略による「スペースリーク」を除く）

従来、バグを見つけるのが最も難しいのは、マルチスレッドアプリケーションの競合状態です

• ほぼ再現不可能
• 非常に微妙になることがあります

したがって、あなたは、あなたのために、可能な限り邪魔にならないように、視差を管理する言語が必要です。これらはまだ主流ではありません。Javaはいくつかを行いますが、難しい部分はあなたに残します。

私の理解では、「副作用なし」はそもそも2つの箇条書きをなくすものなので、関数型言語が必要です。Haskellを透過的に効率的なマルチスレッド言語にする作業が進行中であり、Fortressは効率的な並列言語になるようにゼロから設計されていると思います。

編集：Javaでは、Executorsさらに多くの難しい部分を処理します。個々のタスクをCallableインターフェースに適合させる必要があります。

Adaは、実行時ではなくコンパイル時に可能な限りキャッチされるように設計されています。これが意味することは、AdaのプログラムをコンパイルするのにJavaの同等のものよりもしばしば約10倍時間がかかることですが、コンパイルすると、プログラムのバグのクラス全体が現れないことをはるかに確信できます走る。

最初に定義：見つけにくいバグは、私が理解しているように、再現できるバグですが、原因を見つけるのは難しいです。

おそらく最も重要な側面は、私が「狭さ」と呼ぶもの、つまり、バグがどこまで逃げることができるか、バグが潜在的に影響を与える可能性のある範囲です。Cなどの言語では、負の配列インデックスや初期化されていないポインターなどのバグがプログラム全体の文字通りすべてに影響を与える可能性があるため、最悪の場合、問題の原因を見つけるためにすべてをチェックする必要があります。

その点で優れた言語はアクセス修飾子をサポートし、それらを迂回することを困難または不可能にする方法でそれらを実施します。優れた言語では、グローバル変数を持ちやすくするのではなく、変数のスコープを制限することをお勧めします（たとえば、「明示的に宣言されていないものはすべて、デフォルトの型と値を持つグローバル変数」）。

2番目の重要な側面は並行性です。競合状態は一般に再現が難しく、したがって見つけるのは困難です。優れた言語は使いやすい同期メカニズムを提供し、その標準ライブラリは必要に応じてスレッドセーフです。

これですでにリストが完成しました。強力なタイピングのような他のものは、コンパイル時にバグをキャッチするのに役立ちますが、それらのバグはおそらく後で見つけるのは難しくないでしょう。

これらすべてを考慮すると、JavaとC＃、およびJVMと.netの世界の他の多くの言語は、見つけにくいバグを回避するのに適していると思います。

Excelは最も広く使用されているDSLなので、Excelを使用します。（もちろんVBAを除く）

法案に適合：

• いつでも簡単に再現できます（ここにスプレッドシートがあります-動作していません）
• バグは完全に「機能」しているため、見つけるのは非常に簡単です-間違っているセルから始めて、すべての依存関係をトレースバックします。

ほとんどのバグは言語自体のせいではなく、開発者が言語の使い方を間違えたせいだからです。

バグの可能性に影響する言語機能にはいくつかの側面があると思います。

• 対話性 -REPLを使用した動的言語は、実行中のプログラムとはるかに短いコード/テストサイクルでの対話/実験を促進します。イテレーションがクリーンでシンプルなソリューションを発見し、バグを検出/除去する良い方法であると信じるなら、これはインタラクティブ言語を好む傾向があります。

• 表現力 -コードが短く、定型的/偶発的な複雑さが少ない場合、バグ/論理エラーが見やすくなります。

• 型の安全性 -コンパイル時間のチェックが多いほど、コンパイラによって検出されるバグが増えるため、一般的に型の安全性は良いことです。しかし、これらは通常、バグを見つけるのは難しくありません。完全に動的な言語であっても、データ構造の間違った型は通常非常に明白な実行時エラーを引き起こします。

• 不変性 -多くのハードバグは、可変状態の複雑な相互作用によるものです。不変性を強調する言語（Haskell、Clojure、Erlang）には、不変性を回避することで大きな利点があります

• 関数型プログラミング -コードを記述するための関数型アプローチは、効果/相互作用の複雑なシーケンスを持つオブジェクト指向のコードよりも「証明可能に正しい」傾向があります。私の経験では、FPはトリッキーなバグを回避するのに役立ちます。これを裏付ける学術研究はどこかにあると思います。

• 同時実行性のサポート -同時実行性の問題の検出とデバッグは特に難しいため、これが非常に重要です。手動ロックが必要なものはすべて最終的に失敗する運命にあります（これには、並行性に対するほとんどすべてのオブジェクト指向のアプローチが含まれます）。この点で私が知っている最高の言語はClojureです。ソフトウェアトランザクションメモリと不変のデータ構造を組み合わせて、並行性を管理する独自のアプローチがあり、新しく、信頼性が高く、構成可能な並行性フレームワークを取得します。詳細については、http：//www.infoq.com/presentations/Value-Identity-State-Rich-Hickeyをご覧ください

言語の能力が低いほど、自分の足を撃つための選択肢が少なくなります。

JavaやC＃のような高レベル言語は、C ++のような低レベル言語よりもバグが少なくなります。

JavaはC＃よりも安全であると信じています。Javaは人為的に制限されているため、高度な知識のない平均的なプログラマーがJavaを習得し、安定したプログラムを作成できます。

あなたの意見では、平均的なプログラマーが見つけにくいバグを最小限に抑えて機能を出力できる言語は何ですか？

私の意見では、Delphi。Pascalに基づいているため、この言語はシンプルで直感的であり、平均的なプログラマー（または経験の浅いコーダー）でも簡単に理解できます。また、その豊富なツールとライブラリのサポートにより、ほとんどのバグを簡単に見つけることができます。

• 強い型付けと、多くの一般的なエラーをキャッチする厳密なコンパイラ。
• 一般的なエラーを助長しない直感的な構文。（if (alert = RED) {LaunchNukes;}たとえば、「The World's Last Bug」はコンパイルされません。）
• 一般的なC ++ OOPエラーの多くを排除する、適切に設計されたオブジェクトモデル。
• 言語に組み込まれた境界チェックと範囲チェックにより、セキュリティ上の問題が発生する可能性が大幅に減少します。
• おそらく、人間に知られている最速のコンパイラーです。これにより、生産性が向上し、ビルドの待機中に思考の流れが失われにくくなります。
• デバッガーVisual Studioのデバッガーは、成長したときのようになりたいと考えています。
• リークトラッキングはメモリマネージャに直接組み込まれているため、メモリリークの発見と修正は簡単です。
• 独自の、おそらくバグのある実装を構築することなく、一般的なタスクを実行するための事前構築および事前テスト済みの方法を提供する、大規模で成熟した標準ライブラリ。
• 強力なロギングシステムやプロファイラーなどの便利なツールが同梱されており、問題を簡単に追跡できます。
• 強力なサードパーティの同時実行ライブラリなど、標準ライブラリにはない一般的な問題に対する強力なコミュニティサポート。

考慮すべきことの1つは、所要時間です。

過去5年ほどの間、私は主にJava（JSF、Seamなど）でWebアプリケーションを開発しました。最近、私は新しい仕事を得て、私たちはPerl（CatalystとMooseを使用）を使用しています。

私はJavaのときよりもPerlのほうがずっと生産的です。

コンパイルおよび（ホット）デプロイする必要がないことが1つの理由です。また、ユースケースの作成がより反復的な方法で行えるため、作成が簡単であることがわかりました。Javaのフレームワークは、少なくとも私が関与しているプロジェクトにとっては、不必要に複雑なようです。

私のPerlコードのバグの数は、Javaコードのバグの数とほぼ同じですが、それよりも多いかもしれません。しかし、これらのバグを見つけて修正する方が簡単で迅速です。

おそらく、すべてのプログラミング言語の静的および動的コード分析に使用可能なツールの数を調査すると、アイデアが得られる可能性があります。言語用のツールが増えれば増えるほど、その言語はユーザーに非常に人気があるか、見つけにくいバグを生成するのに非常に人気があります。しかし、このテーマに関する研究をGoogleに指摘することはできません。また、Cなどの一部の言語を使用して、基礎となるハードウェアのバグを回避したり、ハードウェアの経年変化による摩耗を回避したりすることもできます。

言語について話す代わりに、言語機能について話すことについて

• javaは例外について考えるように強制します（スロー...）。これらの例外を公開するか、処理する必要があります。それは本当にエラー状況を忘れることを防ぎますか、この処理を必要としないSystemExceptionから派生したより多くの例外を使用していますか？
• 「契約による設計」（http://en.wikipedia.org/wiki/Design_by_contract）についてはどうでしょうか。事前条件と事後条件について考えるように強制されます。私はc＃-4.0で可能になったことを読みました。