問題タブ [scala-3]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
scala - volatile 型は Scala 3 にまだ存在しますか?
Scala 3 用の同等の SLS が見つかりません。私はゆっくりと Scala 3 の考え方に慣れ、新しいコードを書き、次の変更時に古いコードをリファクタリングして、Scala 3 への変換が簡単になるようにしています。型プロジェクションの特定の現在のユースケースは、揮発性のクラス メンバーを避けることの (非常に) 間接的な結果として生まれました。
scala - タプルが同種であることを確認する方法は?
私の手に負えない理由により、私のメソッドはタプルの形式で入力を受け取ります。このタプルは のインスタンスのみを含む必要がありFooます。実行時に例外をスローするのではなく、コンパイル時にこれをチェックしたい。どうすればこれを達成できますか？(Foo, Foo ... Foo)StringInt
以下は私が現在持っているコードですが、正しくありません:
Shapeless または Dotty/Scala 3 で導入された新機能を使用することにオープンです。
scala - Scala 3 でマッチ タイプを正しく動作させる方法
型付けされていないプロジェクトを Scala 3 で型付けされるように移植できるかどうか、非常に興味がありました。ここから始めました。
コンパイルされず、エラーがスローされます。
これは、パターン マッチングを s の「タイプ フィルター」として認識していないという事実から来ていると思います。この場合、 s にはタイプ"tag" | "attrs" | "children"があり、パターン マッチングの場合はそれを「タグ」に減らす必要があると考えているためです。 .
要求された動作をどのように実装できますか?