C＃とJavaが言語の半分であるというこの声明はどういう意味ですか？[閉まっている]

記事：Why POCOには、次の文があります。

Maciej Sobczak氏は、「誰かが私に言語の半分を教えてくれて、それが自分自身の保護のためだと言っているのが好きではない」と言います。

私にもかかわらず、彼は何を意味するのか理解していないC＃は、Microsoftが所有しているとのJava、Oracleによって所有され、それは彼らが言語の半分を保持するという意味ではありません、それをしませんか？私はその文を証明する証拠を見つけられませんでした、そして私はこれについて本当に興味があります。そして、「私自身の保護のため」の部分についてさらに興味があります。

ソブザックは企業の所有権について話しているのではありません。彼が欠けている「半分」の言語は、高度な教育を受けたコンピューターの専門家であるにもかかわらず、可能な限り多くのクラスから継承できることを知っているにもかかわらず、多くの現代言語ではできないことです。型の制約なしでオブジェクトを他のオブジェクトに割り当てます。コンパイラーとランタイムが彼のためにそれを行うのを信頼する代わりに、割り当てと解放のリソースを手動で制御します。

問題は、これらの制限はすべて、何らかの理由でプログラミング言語に適用されたことです。我々はなかった、このすべてを許可の言語を持っています。時間が経つにつれて、平均的なプログラマーは、ある程度の制限と手持ちの方が良いことがわかりました。なぜなら、本当に悪いエラーを起こす可能性は、追加のパワーと表現力に値するには大きすぎるからです。

（もちろん、これは時々彼らの苦情が時々正当なもの。本当に多くの手で保持することを必要としないだろうプログラマーを悩ませる。しかし、人々は悪名高く、自分のスキルを評価する時、悪い、と彼らは安全策を必要としないと思う多くの人々はで、やります高レベル言語の制限に抵抗されていると感じている実際の優れた知性と、不平を言うと優れているように見える、または知らない平均的なコーダーを区別することは、必ずしも容易ではありません。より良い。）

これは引用の元のソースで非常にうまく説明されています：

私はC ++についてさらに学ぶことにし、忠実に熱心になりました-これには、この言語が進化する可能性のある方法に興味があります。さらに、実際のアプリケーションではなく、有用なライブラリを開発するためには、最もハイエンドで最先端の技術が必要であることに気付きました。これを念頭に置いて、私はさまざまな目的のためにいくつかの独自のライブラリを作成しようとしました（ダウンロードページを参照）。ハイエンドのテクニックがあります。汎用的であると同時に有用であるはずのライブラリーの開発に時間を費やすことは、本当に大変です。それがプログラマが学習を止めない理由です。

[…]

私はC ++と堅牢なソフトウェアを作成するためのテクニックで遊んでいます。信頼性の高いソフトウェアの分野でより広い視野を得るために、私はAda（および関連するもの）の学習に時間をかけることにしました。システム。Adaを学ぶことは、自分の仕事と開発のアプローチをより新鮮に見ることができるという意味で、私にとって本当に有益だと認めなければなりません。最も重要なことは、Adaの世界からのアイデアのいくつかは、C ++に多かれ少なかれ直接適用でき、堅牢性と正確性の領域で良い結果が得られることです。

[…]

忘れました ある日、Javaを学ばないと誓った。しかし、私はやりました。まあ、作業コードを読み書きできる範囲で。「Thinking in Java」（オンラインで利用可能、無料）と「Core Java」（オンラインではなく、無料ではありません）を読んだことがありますが、Java開発にも間接的に関与していました...そして、私は購入しませんそれ。誰かが私に言語の半分を教えてくれて、それが私自身の保護のためだと言ったとき、私はただ好きではありません。これはペーパーハンマーのようなもので、指を打ったときにだれも傷つけないように軽くしました。C＃にも同じことが当てはまります。スチール製のスレッジハンマーを選択します。これにより、マッチョをプレイしたいときに耐えることができます。
問題は、なぜそれほど多くの人々がそれを使用するのか（Java、C＃など）？うーん...多分それはいくつかの場所で非常に良いからです。しかし、言語とライブラリの両方が、それらがすべてをユーティリティにすることよりもむしろ（最初は）アプレット用に設計されていることを示す状況があります。約束しすぎであり、キャッチオールテクノロジーに関してはあまり多くはありません。または、あらゆる競争に打ち勝つことができるソリューションとして。

最大のパワーと最も広い視野が必要なとき、私はC ++が好きです。C ++の表現力が必須ではない場所では、TclやPythonのような言語が法案に適合するようです。それらは進化に関してオープンであるだけでなく、特定のニーズに応じて拡張したり埋め込むことができます。これらの技術には多くの可能性があります。私はまた、通常のプログラミングの言語としてCを放棄する傾向があります-これは、コード生成のターゲットとしてのみ合理的な選択であるようです。そうでなければ、エラーが発生しやすくなります。今日、Adaは私が自由に選択できるという条件で、より深刻なプロジェクトの2番目の選択肢になります（残念ながら、ほとんどの場合そうではありません）。

つまり、その引用の著者はC ++が好きであり、彼はJavaが好きではなく、JavaにはC ++の半分が欠けていると感じています。そして、それはその引用にあるすべてです。

投稿したブログにリンクされている記事は削除されているため、確実ではありませんが、Kilianが言うように、「言語の半分」と言うと、C＃とJavaはC ++のように感じますが、使いやすく、または安全にするために、機能と構成が削除されました。

2006年、これが書かれたとき、C＃が比較的若く、Javaが多くの点で未熟であり、パワーと安全性は1つしか選択できないトレードオフのように思われたとき、これは取るに足りない立場ではありませんでした。

最近では、そのような立場はまったく妥当ではありません。主流の言語について考えるだけで、C＃とJavaは非常に成熟し、他の言語（特に機能的）の機能を借用して安全なコードの記述を促進しています。また、これを行うためにゼロから構築されたRustやSwiftなどの言語もあります。

誰かがあなたの手を握って言語を軽looksしている、または使用するのが難しい言語がなんとなく良いことだと言ったら、私は彼らが言ったことを一粒の塩で取ります。私たちが毎日依存しているコードで見つかった、業界で最も優秀な頭脳によって書かれた、「安全な」言語を使用することで簡単に避けられたはずの恥ずかしいバグを見れば、その理由がわかります。

アーカイブを振り返ってみると、この引用は2003年からのものであるように見えます（2006年から引用されているにもかかわらず）。当時、C＃はバージョン1でした。xには、多くの最新機能が欠けていました。

新機能

C＃2.0

• ジェネリック
• 部分型
• 匿名メソッド
• イテレータ
• Nullable型
• ゲッター/セッター別のアクセシビリティ
• メソッドグループの変換（デリゲート）
• デリゲートの共分散および反分散
• 静的クラス
• デリゲート推論

C＃3.0

• 暗黙的に型指定されたローカル変数
• オブジェクトとコレクションの初期化子
• 自動実装プロパティ
• 匿名型
• 拡張メソッド
• クエリ式
• ラムダ式
• 式ツリー
• 部分的な方法

C＃4.0

• 動的バインディング
• 名前付き引数とオプションの引数
• 一般的な共分散と反分散
• 組み込み相互運用タイプ（「NoPIA」）

C＃5.0

• 非同期メソッド
• 発信者情報の属性

C＃6.0

• コンパイラーとしてのサービス（Roslyn）
• 静的型メンバーの名前空間へのインポート
• 例外フィルター
• catch / finallyブロックで待機
• 自動プロパティ初期化子
• ゲッターのみのプロパティのデフォルト値
• 表現力豊かなメンバー
• ヌル伝播関数（ヌル条件演算子、簡潔なヌルチェック）
• 文字列補間
• nameof演算子
• 辞書初期化子

C＃7.0

• アウト変数
• パターンマッチング
• タプル
• 脱構築
• ローカル機能
• 数字区切り
• バイナリリテラル
• Refの戻り値とローカル
• 一般化された非同期戻り型
• 式本体のコンストラクターとファイナライザー
• 表現型のゲッターとセッター

C＃7.1

• 非同期メイン
• デフォルトのリテラル式
• 推定タプル要素名

- "C Sharp"、ウィキペディア（参照とリンクは削除されました）

C＃が現在のC＃の多くを欠いているため、C＃がその文脈では半分の言語のように見えることはおそらくより理解しやすいでしょう。staticクラスさえ持っていなかったと考えるのは奇妙です！

C＃は.NETに関連付けられているため、他にも多くのものがありませんでした。たとえば、WPFは当時はありませんでした。すべてWinFormsでした。

彼はきめ細かな制御を可能にする言語機能の欠如に不満を言っていました。これらには、

• 不変性の強制（C ++ constキーワードなど）
• オブジェクトの寿命と所有権の制御
• メモリ使用量、コピーおよび割り当てスタイルの制御

これは、Javaに対する私の批判の1つを思い起こさせます。

すべてがポインターですが、ポインターは存在しません。

C ++オブジェクトでは、ポインターと参照は明確なセマンティクスを持つ3つの異なる概念です。Javaには、擬似オブジェクトポインターがあります。これらを統合し、真のポインターセマンティクスを避けることにより、オブジェクトモデルはあまり明確ではありません。

明確に定義されたC ++プログラムでは、プログラマは参照が有効でnullでないことを期待できます。その単純化されたモデルのため、Javaは同じ保証を行うことができません。

このあまり明確でないモデルの症状には、nullオブジェクトパターンとなどのヨーダ条件が含まれ5.equals(potentiallyNullIntegerReference)ます。

@Kilianの回答に同意しますが、いくつかの要素を追加します。

1- OSではなく仮想マシンに対して実行

JavaとC＃は仮想マシンを介して実行されているため、VM内の何かを破損する可能性が高いため、OSを直接操作しているときは希望どおりに正確に実行できないことが論理的に予想されます。さらに、Javaはプラットフォームにとらわれないものとして指向されているため、さらにロジックになります。

2トンのアプリケーションでは、こうした種類のものは必要ありません。

それほど多くの詳細を掘り下げる必要のないアプリケーションがたくさんありますが、それを行う必要がある言語でそれを行うと、次のようになります。

• これらの不必要なものが原因でバグが発生するリスクが増えます。
• より多くの開発コスト、メモリの管理、テストには時間とお金がかかります！

3-言語は、すべてのような、いくつかの選択の重み付けコスト/使用法/リスクに基づいて作られます。

C ++を使用すると、ほとんど何でもできます。それがC ++の人々の選択です。ただし、存在するほど、より多くの処理が必要になります。

したがって、多重継承のようなものは、それらが危険であるという事実だけでgivenめられず、それらを実装するのにコスト（開発、保守）があるためgivenめられます。一般に、別の方法で書き換えられます。

プログラマーを保護するために、C＃やJavaのような高レベル言語にすべての制限を置くだけです。プログラマを自分から守るためではなく、プログラマを他のプログラマから守るために存在します！

プログラマーとしての私たちは、コーディングの実践と設計は実に恐ろしいが、何らかの理由で使用を余儀なくされたライブラリに何回遭遇しますか？

これらのプログラムは通常、古い手続き型のプログラミング方法の特徴を備えており、カプセル化がなく、エラーをキャッチまたは処理することなく、メモリを直接書き込みます。Segfaultは、大規模プロジェクトでそれらを使用しようとすると、大量に追跡します。

そこでJavaやC＃などの言語が非常に役立ちます。他の言語が行うすべてのきちんとしたことを私たちにさせないという事実を彼らが楽しんでいるということではありません。行う。

インターフェースは、記憶力や実行速度の点で、あらゆる種類のトレードオフの価値があります。時間制限のあるミッションクリティカルなアプリケーションでは、これらの保護、適切なエラー処理、および一般的にメモリが使い果たされていないことを確実に確認することは良いことです。