パフォーマンス上の(条件分岐があっても静的ディスパッチした方が速いという)理由で条件分岐で書かれているのだと思います。ないからだと思われます。サブクラスを作れてしまいます。サブクラスを作ることはできません。して問題なくネストできます。関連した雑感を述べます。して値型しかとれないという問題があります。値のメンバにアクセスしてもコンパイルエラーとなりません。なることを期待しています。さんから補足コメントをいただきました。次のC#のバージョンだとこの辺が本件の関連ですかね。一歩近づくといいですね。なるわけではありません。なるというのは現実的ではないでしょう。そもそも、そういうことを目指している言語でもないと思うので、それでいいのかもしれませんが。的な言語仕様と相性が良さそうです。プログラマを取り込めるかが普及するかの分かれ目になってきそうです。リリースされていないので、今後の展開に注目です。これまでのプログラミング言語の進化に逆らって、大胆に仕様を削ぎ落としてシンプルであることを目指した言語だと理解してます。ジェネリクスがなくても型付けされた配列やマップがあれば大体問題ないでしょ的な。区別するだけであれば、言語仕様も大して複雑化しないと思うので、是非取り入れて欲しいところです。プログラマがどう感じているのか聞いてみたいです。しようというのは無理があります。返すものがたくさんあるので、結局混ざってしまいます。なっているところです。代替できるものではありません。チェックできるようになるかもしれません。つけてくれれば大分楽になりそうです。的なものでがんばるしかないのでしょうか。標準になっても、本投稿で挙げた「快適に書くための仕組み」があるわけではないですし、辛い状況は続きそうです。ようですが、近いうちに採用される見込みはほぼなさそうです。使うのが現実的だと思います。破壊されてしまう状況が辛いです。このあたりは、同じ組織が両言語を開発しているかどうかの差が大きそうです。採用してくれれば解決するかもしれません。プロパティにアクセスしたりしてもエラーにはならない言語です。いうことではありません。次のように使うと実行時エラーとなります。扱いは一見安全なように見えて、問題の発覚を遅らせ、解決をより難しくしているだけです。方式は最悪だと考えています。ハンドリングが不適切だったことに気付くということが何度もありました。使う理由はほぼないように思います。コードを書くことができます。使ってチェックします。静的型チェッカーです。コードを書けるということです。「快適に書くための仕組み」のほとんどありません。ありますが、当面は「快適な仕組み」をあきらめるか、自力で関数を作って再現する必要があるでしょう。静的に型推論する話が取り上げられました。ためには静的型が欠かせないので歓迎です。取り入れられればうれしいですね。どのように扱われているのか長い間疑問だったんですが、次のツイートで疑問が解けました。実現しているようです。型を一番快適に使える言語だと思います。コードを書けるようになっていることが大きいです。主導しているからこそできる芸当です。言語に進化を遂げました。フラグをオンにする必要があります。同様「快適に書くための仕組み」がほぼありません。将来的な発展に期待です。言語が良さそうに見えても、既存のコードベースやライブラリもあり、今使っている言語を変更するというのは大変な作業です。言語の中には既存の言語とシームレスに連携して、一つのプロジェクトの中でミックスしてコードを書けるものもあります。言語で書き始めることもできます。言語を使い始めるための方法を述べます。△ただし、マークの意味は次の通りです。既存コードに対して付加的であり、問題が起こってもすぐに元に戻すことができる。導入のための障害はほぼ存在しない。既存コードとシームレスに連携することができる。新しい言語で書いたコードは新しい言語としてメンテする必要はある。新しい言語は言語仕様が変化しがちなので、メンテコストは既存コードより相対的に高くなることが多い。既存のコードと連携することはできない。使い捨てのスクリプトや試験的なプロジェクトなど利用できるケースが限定的。