在 Haskell 中测试某些数据是否属于某种类型？

Question

既然Haskell有如此表达性的类型系统，是否有直接支持我们可以查询某些数据是否属于某种类型的东西？就像在 Racket 中一样，(String? "Hi") （将返回 true） 或者像MyType？一些数据 ->布尔型

Answer 1

isInt :: Int -> Bool
isInt _ = True

isString :: String -> Bool
isString _ = True

...

Answer 2

一般来说，强类型意味着你一开始就不会陷入这种情况。你总是知道给定的类型，或者你对此一无所知，但有一个受支持函数（类型类实例）的字典。不过，当您使用类型系统来获取泛型类型时，GHC 确实有 Data.Typeable 供您使用。

Answer 3

本质上，你的问题在 Haskell 中没有意义。

Haskell 在编译时静态地知道所有内容的类型。因此，不存在“测试类型”的概念——这将是动态测试。事实上，GHC 会删除所有类型信息，因为运行时永远不需要它。

---

唯一的例外是数据以序列化格式（例如字符串）表示的情况。然后，您使用解析作为测试值是否具有正确类型的方法。或者，对于高级用户，运行时可能需要某些类型信息来解析某些高阶泛型操作。

Answer 4

如果您需要动态检查类型，那么您就做错了。这在大多数具有类型重构器的语言中通常都是如此，因此像 Haskell 或 OCaml 或 F# 这样的函数式语言。

你有强大的类型重构器和模式匹配，为什么你需要请求类型？

Answer 5

除了其他答案之外...

如果您愿意，您可以使用 Data.Dynamic 模块来处理 Haskell 中的动态类型。例如：

> let dyns = [ toDyn (5 :: Int), toDyn "hello", toDyn not ]

然后，您可以使用 fromDynamic 轻松编写特定类型的测试：

isString :: Dynamic -> Bool
isString dyn = isJust (fromDynamic dyn :: Maybe String)

并且您可以将其应用于任何 Dynamic 值，以确定它是否包含 String：

> map isString dyns
[False,True,False]

因此，如果您选择使用 Data.Dynamic 模块来使用动态类型，那么您可以执行此操作。