SML| foldl with 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分支中编写一个赋值。请记住，当使用xs遍历列表时，foldl的工作原理是重复地将累加器(y)传递给函数。所以如果你想更新累加器，你所要做的就是返回更新后的值。

Answer 2

为了补充前面的答案，这里有一些建议的修改：

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