有什么方法可以检查/测试变量的类型吗？
我想这样使用它：
if x = int then foo
else if x = real then bar
else if x = string then ...
else .....
ML 语言是静态类型的，因此某个东西不可能在不同时间具有不同的类型。x有时不能有类型int在其他时候有这样的类型string。如果您需要这样的行为，通常的方法是将值包装在编码类型信息的容器中，例如：
datatype wrapper = Int of int | Real of real | String of string
然后你可以在构造函数上进行模式匹配：
case x of Int x -> foo
| Real x -> bar
| String x -> ...
在这种情况下，x明确输入为wrapper，这样就可以了。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
