問題タブ [profunctor]
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.
11 問題
0
投票する
1
に答える
129
参照
polymorphism - プロファンクター Iso はタイプ チェックを行いません
Idris で最も単純な profunctor optic を実装しようとしています。Iso は、すべての profunctor でポリモーフィックであると想定される関数です。それが正しい構文だと思います。
最終テストを除いて、すべてが型チェックされます。
このエラーが発生しています。Idris は p1 がプロファンクターであるという仮定について不満を言っているようですが、それは Iso の定義における制約です。