types - 是否可以检查 Poly ML 中的值是否具有特定类型？

Question

在 Poly ML 中，如果 x 的类型为 'a，您将如何编写一个返回“true”的函数，如果不是，则返回 false？

Answer 1

我可能误解了您的问题，但听起来您错过了静态类型语言的全部要点。

这意味着您不能使用其他类型的参数调用函数，而不是声明的类型。解释器/编译器将拒绝其他任何内容。

一个可以满足您需求的功能是：

> fun foo _ = true
val foo = fn : 'a -> bool