問題タブ [adhoc-polymorphism]
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.
haskell - Num が Fractional のように機能するのはなぜですか?
予想通り、これはうまくいきます：
everyFractionalも . であるため、これは期待どおりに機能しNumます。
したがって、予想どおり、Fractional引数をNumパラメーターに渡すことができます。
一方、以下も機能します。理由がわかりません。
意外と効く！ではないものがあり ます。NumFractionals
では、なぜNum引数をFractionalパラメーターに渡すことができるのでしょうか? 説明できますか？
javascript - イントロスペクションなしで、純粋に機能的なアドホック ポリモーフィック レンズを作成する方法は?
DrBoolean のlens implementationを適合させて、イントロスペクション/ダックタイピング/プロトタイプ ID に依存せずに機能するようにしました。計算は、継続と高階関数の関数引数によって排他的に決定されるべきです。私はここまで来ました：
このバージョンでは、ファンクター制約constMapはレンズ コンストラクターでハードコーディングされています。viewがレンズを呼び出すとき、正しい型 ( $$(runConst, fx(Const))) は既に渡されていますが、アドホック ポリモーフィック レンズを取得するには、対応するファンクター インスタンスも渡す必要があります。
私はすでに最も明白なことを試しました$$(runConst, fx(constMap) (Const))が、これは構成に干渉します。私はそれを理解することはできません。