所以我把这个声明放在我的ghci上
jkl x f y = f (map (+y) x)
我把这个放回去了。
jkl :: Num b => [b] -> ([b] -> t) -> b -> t
但当我读到它时我很困惑。根据我的理解，jkl 是 num 类型，它采用 [b]、[b] 和 t 以及 b。最后会输出t。这是正确的阅读方式吗？
jkl :: Num b => [b] -> ([b] -> t) -> b -> t
无论谁打电话jkl has to
- 选择类型
b and t
- 保证
b是在数字类型中选择的（Num b约束）
- pass a
[b]（列表b) 作为第一个参数
- 传递一个函数
[b] -> t作为第二个参数（即采取[b]并返回一个t)
- pass a
b作为第三个参数
- receive
t返回作为最终结果
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
