Question

是否有很好的方法来编写以下内容＆＃34; x的类型为t＆＃34;部分？（我怀疑我应该使用Data.Type.Equality，但我不确定如何）

f :: a -> Int
g :: b -> Int

h :: Typeable t => t -> Maybe Int
h x = case x of
  (x is of type a) -> Just (f x)
  (x is of type b) -> Just (g x)
  _ -> Nothing

Follow up question

Answer 1

这是Data.Typeable的“类型安全转换”位的作业。 cast :: (Typeable a, Typeable b) => a -> Maybe b从Typeable和a的{{1}}词典中提取运行时类型信息并进行比较;如果b和a是相同类型，则返回b其参数，否则失败。

因此，有Just和cast Maybe个实例，我们有：

Alternative

据我所知，没有办法避免重复调用h x = f <$> cast x <|> g <$> cast x，因为它们发生在不同类型。

类型上的模式匹配

1 个答案: