問題タブ [dotty]

型付けされていないプロジェクトを Scala 3 で型付けされるように移植できるかどうか、非常に興味がありました。ここから始めました。

コンパイルされず、エラーがスローされます。

これは、パターン マッチングを s の「タイプ フィルター」として認識していないという事実から来ていると思います。この場合、 s にはタイプ"tag" | "attrs" | "children"があり、パターン マッチングの場合はそれを「タグ」に減らす必要があると考えているためです。 .

要求された動作をどのように実装できますか?

私の Scala 3 プロジェクトでは、Pure Config を使用したいと考えています。しかし、次の例外が発生します。

ドキュメントから簡単な例を取り上げました。

私build.sbtはこのように見えます：

何か見逃していますか、それとも現時点では不可能ですか?

これは私のscala2コードをscala3に直接翻訳したものです

呼び出しサイトでナロー操作の型を指定する必要がありますが、拡張メソッドではその構文が許可されていません。この制限に対する最善の回避策は何ですか?

これの目的は、コレクション/トライ/なんでもタイプを絞り込めるようにすることです。ナロー型クラスは、内部にあるものは何でもフラットマップし、ランタイム型を比較し、一致する場合はその B を F でラップするか、そうでない場合は空の F を返します。