How does GHCi pick names for type variables?
使用交互式 GHC 解释器时,可以询问表达式的推断类型:
1 2
| Prelude > :t map
map :: (a -> b ) -> [a ] -> [b ] |
似乎它从签名中获取类型变量的名称,因为 map 被定义为
1 2 3
| map :: (a -> b ) -> [a ] -> [b ]
map _ [] = []
map f (x :xs ) = f x : map f xs |
在前奏曲中。这很有意义!我的问题是:在没有给出签名的情况下如何选择类型变量名称?
一个例子是
它选择了名称 b 和 b1。很明显,必须进行重命名,但只需从 a、b、... 开始,就会给出
相反,我觉得它更易读。
据我了解,ghci 选择名称的顺序与推断类型的顺序相同。它使用您提到的命名方案来决定结果的类型名称,即 [b] 因为这是在 map 的定义中指定的类型名称。然后它决定作为 map 的第一个参数的函数也应该返回 b 类型的东西。
因此,要命名的剩余类型变量是 fst 的参数元组中第二个元素的类型变量,它再次查看 fst 的定义以决定使用哪个名称。 fst :: (a, b) -> a 的定义,所以 b 将是这里的首选名称,但由于 b 已经被占用,它附加一个 1 使其变为 b1.
我认为这个系统在你不处理任意类型的情况下具有优势,就像这里的情况一样。如果生成的类型看起来像这样,例如:
1
| castAdd :: (Num n, Num n1, Num n2 ) => n -> n1 -> n2 |
... 可以说它比:
更具可读性
1
| castAdd :: (Num a, Num b, Num c ) => a -> b -> c |
... 因为您主要可以依赖 n# 表示数字类型,因为 Num 的类定义是 class Num n where ....
编辑:是的,我知道 castAdd 是不可能实现的,但这只是一个类型示例。
- 谢谢,这是一个很好的解释!我没有想到你希望几个 n 被重命名但保持相关的情况。
-
它不是不可能的。 (unSafeCoerce 或只是普通的旧 _|_)