use*_*457 0 haskell
我试图了解如何使用bind(>> =)实现连接.
join x = x >>= id
id的类型为(a - > a),但bind需要类型(a - > mb)的函数.我无法匹配这种类型.
sep*_*p2k 7
如果x有类型m (m t),则a是m t,因此id在此上下文中具有m b -> m b适合类型的类型>>=.
x
m (m t)
a
m t
id
m b -> m b
>>=
归档时间：
8 年，6 月 前
查看次数：
128 次
最近记录：