問題タブ [dotty]

私は次のことをしようとしています

つまり、の型はstate(の値) に依存しますsystem。ただし、これはサポートされていません。

不正な従属メソッド タイプ: パラメーターが、同じセクションまたは前のセクションの別のパラメーターのタイプに含まれています。

関数の引数を使用すると、引数を 2 つの引数リストに分割できますが、これはケース クラス コンストラクターでは不可能です。

私ができる最善のことは次のとおりです。

しかし、ドッティでは、型パラメーターが型メンバーに脱糖されていると思われるため、型パラメーターなしで可能であると考えていました。

私の質問は、これを型パラメーターなしで表現できるかということです。

より一般的なコンテキストでは、型パラメーターを型メンバーに置き換えることができる範囲と、そうするのが良いアイデアはいつなのかを探っています。

Dotty は大規模なプロジェクトをコンパイルする準備ができているようですが、sbt プロジェクトで Scalac のドロップイン代替として Dotty を使用する簡単な方法があるのではないでしょうか? 私が以下を持っていたかのようにbuild.sbt：

ここで Scalac を Dotc に交換するために実行できる手順はありますか?

Dottyで簡単に次のことができます：

Dottyなしでユニオン型のサブタイピングを行うにはどうすればよいですか?

Dotty は、型パラメーターを持つクラスを型メンバーを持つクラスに desugar すると報告されています。次に例を示します。

次の例のように、Dotty はポリモーフィック メソッドをどのように desugar しますか?

sbt dotty プラグインの使用:

を実行sbt consoleして、新しいユニオン タイプの機能を試します。

なぜこれが機能しないのですか？ユニオン型を間違って使用していますか? これはまだ機能していませんか？