1

我需要知道 Haskell 绑定类型 (>>=) 运算符的 System F 类型是什么。

到目前为止，我是这样写的：

(M::*->* A::*) -> (A::* -> (M::*->* B::*)) -> (M::*->*  B:*)

这样对吗？如果正确，我如何找到最终结果？

谢谢！

4

1 回答 1

3
于 2016-02-08T21:16:06.640 回答