问题标签 [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 - Profunctor Iso 不进行类型检查
我正在尝试在 Idris 中实现最简单的 profunctor optic。Iso 是一个在所有 profunctor 中都应该是多态的函数。我认为这是正确的语法。
一切都进行类型检查，除了最终测试。
我收到这个错误。看起来 Idris 正在抱怨 p1 是 Profunctor 的假设，但这是 Iso 定义中的约束。