問題タブ [propositional-calculus]
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.
22 問題
0
投票する
1
に答える
119
参照
scala - 推移性、または Scala でジェネリックな暗黙を連鎖させる方法
Miles Sabin によるこの優れた記事で説明されている機能を拡張しようとしています: Unboxed Union Types to support n -ary type unions, 例:
<:<以下に示すように、私は Sabin のコードを修正し、独自のバージョンのオペレーターを作成しました。
OR根底にある問題は、追加の論理和 (
理論的には、これが機能するように推移性の定義と組み合わせた二重否定同一性の定義を期待しますが、これをコンパイルすることはできません。これが可能かどうか、または再帰的にチェーンされたジェネリックが Scala コンパイラの機能を超えているかどうかを知っている人はいますか?