简单的 SML 代码错误

Question

我刚刚开始学习 SML，但仍在理解其错误消息的过程中。

当尝试输入下面的函数定义时

val rec : real->real = fn 0.0 => 0.0 | n:real => 1.0/n;

我收到以下错误：

stdIn:25.9-25.17 Error: syntax error: deleting  COLON ID ARROW
stdIn:25.24-25.33 Error: syntax error: deleting  FN REAL DARROW
stdIn:25.38 Error: syntax error found at BAR

谁能指出我做错了什么？

谢谢。

Answer 1

您的代码中有两个错误：

1. val rec 和类型注释之间应该是您定义的值的名称。
2. 您不能在reals 上使用模式匹配。由于reals 不精确，它们不是相等类型，因此您也不能在它们上使用=。您需要使用Real.== 来比较实数是否相等（或者更好：不要比较它们是否相等，而是将它们与某个增量进行比较）。