haskell - 了解废弃您的样板中强制转换运算符的类型

Question

2003年Scrap Your Boilerplate paper由 Laemmel 和 SPJ 编写，第 3 页有一个代码片段

mkT :: (Typeable a, Typeable b) => (b -> b) -> a -> a
mkT f = case cast f of
   Just g -> g
   Nothing -> id

然后论文解释了

That is, mkT f x applies f to x if x's type is the same as f's argument type

按照本文前面示例的模式，我认为 cast f 的类型必须与 Maybe (b -> b) 类型进行比较code> 上面的计算结果为 Just g，但这似乎不正确。

cast f 的签名是怎么回事？

Answer 1

cast的类型是

cast :: (Typeable x, Typeable y) => x -> Maybe y

如果x和y是不同类型，它会产生Nothing；如果它们相同，它会产生Just argument。请注意，使用 cast 时，结果类型 y 必须由调用上下文确定。如果不是，编译将失败，并出现 Unresolved 重载/不明确的类型变量错误。

在此特定示例中，类型是函数类型，(b -> b) 表示参数，(a -> a) 表示结果。所以

cast f :: Maybe (a -> a)

和mkT也可以写成mkT = fromMaybe id。类型转换。