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

【问题标题】：Is it possible to check whether a value has a particular type in Poly ML?是否可以检查 Poly ML 中的值是否具有特定类型？
【发布时间】：2012-11-04 13:27:05
【问题描述】：

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

【问题讨论】：

你会用这个函数做什么？

标签： types boolean ml polyml

【解决方案1】：

我可能误解了你的问题，但听起来你错过了statically typed language 的全部要点。

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

一个可以做你想做的功能是：

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

【讨论】：