如何查询统一类型为ghci？

Question

可以查询ghci的统一类型吗？

例如，如果我想知道(Int -> Bool)和(a -> Bool)之间的统一类型，我该如何查询到ghci？

我想要解决的是Haskell第三版的练习13.23 ：功能编程工艺 。

你如何使用Haskell系统来检查两个类型表达式是否是统一的，如果是这样，它们的统一是什么？ 提示：您可以在Haskell中进行虚拟定义，其中定义的值（锆石）与其自身等同：

 zircon = zircon 

像这样定义的值可以声明为您想要的任何类型。

谢谢，
塞巴斯蒂安。

Answer 1

一种方法是使用asTypeOf :: a -> a -> a 。 作为一个函数， asTypeOf不是很有趣，但它的类型很好：它强制它的两个参数和它的返回类型统一。 所以：

> :t asTypeOf (undefined :: Int -> Bool) (undefined :: a -> Bool)
asTypeOf (undefined :: Int -> Bool) (undefined :: a -> Bool)
  :: Int -> Bool

所以你可以看到这两种类型统一到Int -> Bool 。 对于一个稍微有趣的例子，让我们统一Maybe a和f (Bool, c) ：

> :t asTypeOf (undefined :: Maybe a) (undefined :: f (Bool, c))
asTypeOf (undefined :: Maybe a) (undefined :: f (Bool, c))
  :: Maybe (Bool, c)

另一方面，为了练习，我鼓励你尝试手工统一。 一旦掌握了它，这并不难，而且是一种你会反复使用的技能。