問題タブ [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.
274 問題
0
投票する
1
に答える
305
参照
scala - 型パラメータのすべてのインスタンス化に証拠が存在するかどうかをScalaに尋ねる方法は?
Peano 数に対する次の型レベル加算関数が与えられた場合
次のように定理を証明したいとします
すべての自然数 n に対して、n + 0 = n
おそらくそのように指定できます
次に、定理の証拠を提供することになると、特定のケースで簡単に Scala コンパイラに証拠を求めることができます
しかし、 のすべてのインスタンス化の証拠を生成できるかどうかを Scala に問い合わせて[n <: Nat]、 の証明を提供するにはどうすればよいplus_n_0でしょうか?
0
投票する
3
に答える
333
参照
scala - Scala 3 列挙型メソッドのオーバーライド
JavaのようにScala 3 enumのメソッドをオーバーライドする方法はありますか?
私はこのようなことを試みましたが、結果はありません。また、ドキュメントでオーバーライドされている enum メソッドについても何も見つかりませんでした。
同様の機能を実現する別の方法があるのではないでしょうか?