問題タブ [dotty]

ドッティでは、次のように指定されています。

BaseCreate次のように実装できるように「単純化」したいと思いCreateます。

私はもう試した：

しかし、コンパイラは次のように文句を言います:

これは私には意味がありません。正しい構文があれば、それは何ですか?

このコードで scastie にリンクします

PS: にこれ以上型パラメーターを導入したくありませんBaseCreate。特に、Fそれはクラスが意図されたソリューションではないDomain.Create必要があることを意味します。final case class Create[F[_]]

次のシナリオがあります。

これにより、コンパイル時に次の例外が発生します。

Scala 3の拡張メソッドの命名に制限はありますか?

ここのScastieの例を参照してください

Scala 3 用の同等の SLS が見つかりません。私はゆっくりと Scala 3 の考え方に慣れ、新しいコードを書き、次の変更時に古いコードをリファクタリングして、Scala 3 への変換が簡単になるようにしています。型プロジェクションの特定の現在のユースケースは、揮発性のクラス メンバーを避けることの (非常に) 間接的な結果として生まれました。

私の手に負えない理由により、私のメソッドはタプルの形式で入力を受け取ります。このタプルは のインスタンスのみを含む必要がありFooます。実行時に例外をスローするのではなく、コンパイル時にこれをチェックしたい。どうすればこれを達成できますか？(Foo, Foo ... Foo)StringInt

以下は私が現在持っているコードですが、正しくありません:

Shapeless または Dotty/Scala 3 で導入された新機能を使用することにオープンです。