是否有内置函数检查SML中的数字是否为整数

Question

sml中是否有内置的整数函数？

我的意思是：

我必须从文件中读取一个数字，如果它是整数，则将其显示为输出，如果数字不是整数，则会引发异常。 例如我必须检查（Int.fromString（））的输出是否为整数并显示是否为...（上面重复）

Answer 1

类型系统将确保给定函数的值的类型与函数的类型签名匹配。

也就是说，如果您有一个将整数作为输入的函数，例如

fun double n = 2 * n
(* this function has type: int -> int *)

那么n将始终是整数。 只能使用整数来调用该函数。 它会给出类型错误。

如果您具有多态函数，例如

fun pair n = (n, n)
(* this function has type: 'a -> 'a * 'a *)

这样一来，您将无法在运行时知道输入的类型。 所有类型的输入将被视为相同。

但是，可以通过在定义函数时使类型显式来始终将多态函数限制为仅对给定类型起作用：

fun pairInt (n : int) = (n, n)
(* this function has type: int -> int * int *)

通过比较将pair 5和pairInt 5 pair "foo"以及将pair "foo"和pairInt "foo" pair 5得到的结果，可以看到pair和pairInt之间的区别。

---

如果您有一个int option ，例如尝试使用Int.fromString将string转换为int Int.fromString ，则可以通过多种方式提取int 。 有关如何执行此操作，请参考“ 在smlnj中如何将“字符串选项”转换为“字符串”？ ”的问题。