0

我是新手。我写下面的代码。

Delay(e) == fn () => e
Force(e) == e()

fun time_consuming(n) =
   let fun tak(x, y, z) = if x <= y then y
               else tak(tak(x-1,y,z), tak(y-1,z,x), tak(z-1,x,y))
   in          
fun   tak(3*n, 2*n, n)
funend;
fun fib(n) = if n=0 orelse n=1 then 1 else fib(n-1) + fib(n-2);
fun odd(n) = (n mod 2) = 1;
fun f(x, y) = if odd(x) then 1 else fib(y);
f(fib(9), time_consuming(9));

fun lazy_f(x, y) = if odd(x) then 1 else fib(y());
lazy_f(fib(9), fn () => (time_consuming(9)));

这是懒惰的评估代码。
但它有一些错误。

lazy.sml:1.13 错误:语法错误:插入 LPAREN
lazy.sml:4.2 错误:语法错误:插入 LET
lazy.sml:12.44 错误:语法错误:用 EQUALOP 替换分号
lazy.sml:15.21 错误:语法错误:插入 LPAREN
lazy.sml:17.1 错误:在 EOF 发现语法错误

这些错误是什么意思?

4

1 回答 1

4

在 SML 中,错误往往会级联,即一个故障可以在故障定位后引起大量错误。因此,一个好的策略是只查看第一个错误,纠正它,然后重试代码。

如果我们查看您的第一个错误:

lazy.sml:1.13 Error: syntax error: inserting LPAREN

,我们可以看到它是由第一行引起的。如果我们看一下,这就是 sml 的解释方式;取函数Delay,发送e作为参数,得到一个新函数作为结果。取这个函数并发送 == 作为参数,然后得到另一个函数,将 lambda 函数fn () => e传递给该函数。但是,SML 语法规定,为了将 lambda 函数作为参数传递,它们必须被括号括起来,因此它会发出缺少左括号的错误,这被神秘地写为“插入 LPAREN”。

但是,我看不出前两行的目的是什么,因为其余代码独立于它,而且语法也几乎正确,所以现在我将简单地注释掉它们(用“(*”和“*)”。

让我们运行新代码并查看第一个新错误:

lazy.sml:7.4-8.4 Error: syntax error: deleting  IN FUN

现在我们把注意力转向第八行,发现它和第九行都错误地加上了“fun”前缀。我们将第 8 行和第 9 行的“乐趣”替换为空格,然后再次运行。

现在它起作用了!这是工作代码:

(* Delay(e) == fn () => e *)
(* Force(e) == e() *)

fun time_consuming(n) =
   let fun tak(x, y, z) = if x <= y then y
               else tak(tak(x-1,y,z), tak(y-1,z,x), tak(z-1,x,y))
   in          
      tak(3*n, 2*n, n)
   end;
fun fib(n) = if n=0 orelse n=1 then 1 else fib(n-1) + fib(n-2);
fun odd(n) = (n mod 2) = 1;
fun f(x, y) = if odd(x) then 1 else fib(y);
f(fib(9), time_consuming(9));

fun lazy_f(x, y) = if odd(x) then 1 else fib(y());
lazy_f(fib(9), fn () => (time_consuming(9)));

如您所见,错误多于错误,我希望您已经了解到,解码错误消息的含义是不必要的,只需查看第一个错误的位置通常就足以了解错误所在。

于 2011-06-12T13:46:05.183 回答