haskell - 统一c-> a-> b和(a-> b)-> c

Haskell类型综合器在统一时推断的类型是什么
类型c -> a -> b和(a -> b) -> c吗？

有人可以解释我该如何解决？

谢谢!

最佳答案

这似乎是一种锻炼/作业，所以我不会破坏一切，但首先给您一些提示:

c -> a -> b类型实际上是c -> (a -> b)

，因此您必须将c -> (a -> b)与(a -> b) -> c统一，即:

带有c的a -> b(第一部分)

带有a -> b的c(第二部分)

现在那会是什么(尝试摆脱c；))？

PS:我假设您希望a，b，..的类型相同

关于haskell - 统一c-> a-> b和(a-> b)-> c，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/32368507/