syntax - SML| 用 if 折叠

Question

我正在做这个练习，它要求计算布尔列表中有多少值是真的。

我输入了这个：

fun countt xs = foldl (fn (x,y) => if x=true then y=y+1) 0 xs; 

这显然是错误的。我收到以下错误：

stdIn:54.21-54.24 Error: syntax error: deleting  RPAREN INT0

现在，我搜索了一下，发现 RPAREN 是一个语法错误。但我无法弄清楚为什么首先会出现问题。

Answer 1

在函数式编程语言中，if 表达式必须同时具有 then 分支和 else 分支（并且它们必须具有相同的类型）。你的 if 表达式只有一个 then 分支。

此外，x=true始终评估为相同的值，x因此您可以编写if x then ... else ....

最后，看起来您正在尝试在 then 分支中编写作业。请记住， foldl 通过在y遍历列表时重复将累加器 () 传递给函数来工作xs。所以如果你想更新累加器，你所要做的就是返回更新后的值。

Answer 2

只是为了补充前面的答案，这里是建议的修改：

fun countt xs = foldl (fn (x,acc) => if x then acc+1 else acc) 0 xs;