Scalaの強力なスタティックオブジェクト指向のマルチパラダイム

Question

私は、より強力な型のシステムと構文を提供しようとするScalaに代わるものがあるかどうか疑問に思いました。私はHaskellのような機能的な代替案を知っていますが、実際には、Scalaが仮想クラス、完全な多重継承、より柔軟なコンストラクタ構文、静的なものなど欠けているような場所では、より強力なパス依存、MyTypes、友人修飾子、ファーストクラスのインポート、またはおそらくいくつかの難解なタイピングツール、私は考えていない/聞いたことがあります。

おおよそ、スタティックは近年ファッショナブルではないようです。しかし、それは、現代のコンピュータの力が、過去数十年間にコンパイラ作家の夢を超えて静的コンパイラの作成を可能にすることを私に訴えている。

私は何も出くわしていないと推測していますが、すぐにいつでも生産コードをノックアウトしたいという選択肢はありません。しかし、彼らがまだ非常に学術的な言語であるとしても、私はまだそれらに目を留め、それらと一緒に遊んでみたいと思います。私は特にScalaの左フィールドの代替と呼ばれるものを探しています。セイロンやコトリンは、権力よりも単純さを重視しているわけではありません。エッフェル塔は今のところどこにも出ていないようだ。私はgBetaとCeasarに出くわしましたが、Scalaに負けてしまう部分があれば、うまくいきませんでした。他の可能性はありますか？

Answer 1

一言で言えば、 Scalaの型システムに近いところには、普及しているOOの代替手段はありません。あなたが望む機能があれば、私はあなたがC++、D、およびGoを見てみることをお勧めします。

あなたが冒険的な気持ちで、OOのアイデアに完全にはまっていない場合は、Typed Racketを見てください。 Coq、Idris、Agdaは、かなり興味をそそる種類のおいしさを提供しています。あるいは、Haskell、F＃、OCamlなどの人気の高いFP言語に目を向けるだけです。

OO言語を使用する特別な理由はありますか？ Scalaは、クールタイプのシステムとが必要な場合には、今のところScalaはおそらくそれと同じくらい良いでしょう。

Answer 2

D（具体的には、Dバージョン2、別名D2）は、あなたが探している言語とほぼ同じです。

Visual D（Visual C++のプラグイン）、Mono-D（MonoDevelopのプラグイン）、DDT（Eclipseのプラグイン）のようなIDE /プラグインを紹介するビデオがあります。

dlang.orgのメインのサイトには、GUIの場合など、完全なライブラリリファレンス、言語の構文、チュートリアル、初心者/先進的な議論のためのフォーラム、

があり、GtkDを見てください。私はあなたがこれのためにDMDコンパイラを使う必要があると信じています。

dsource.orgとgithubには他にも多くのサードパーティライブラリ/コードがありますが、コアライブラリにはjsonパーサ、XMLパーサーなどのすべての基本が含まれており、コア言語には多くのことがありますハッシュマップ、動的配列、契約による設計、静的に評価されたテンプレート/式などのビルトインが必要です。

D2では、CおよびC++に直接リンクしてPython/LUAコードなどにバインドすることができます。それはシステム言語（あなたが望むなら、それを使ってOSを書くことができる）として機能するだけでなく、並行して安全なコードのようなものをサポートして、モダンで高級でエレガントで高速なアプリケーション言語としても機能します。

すべての点で、非常に印象的です。悲しいそれはScalaは比較することによって、低速メモリ豚があることを考えると、より人気がないということ。