如果列入清单，那就是利弊

Question

我们可以在以下结构中以与Haskell类似的方式使用if语句吗？

replace_with :: (a -> Bool) -> [a] -> a -> [a]
replace_with _ [] _ = []
replace_with f (x:xs) y = (if f x then y else x) : replace_with f xs y

我尝试过以下方法：

rwith(_,[],_) ->
    [];
rwith(F,[X|XS],Y) ->
    [if F(X) == true -> Y; true -> X, end. | replace_with(F,XS,Y)].

但是我得到了编译响应：

listsh.erl:40: syntax error before: 'end'
listsh.erl:40: syntax error before: '|'

我使用了以下哪个工作正常，但我有兴趣知道是否有可能返回if语句？

replace_with(_,[],_) ->
    [];
replace_with(F,[X|XS],Y) ->
    case F(X) of
        true -> [Y|replace_with(F,XS,Y)];
        false -> [X|replace_with(F,XS,Y)]
    end.

Answer 1

正确的代码应该是：

[if F(X) =:= true -> Y; true -> X end | replace_with(F,XS,Y)].

（在=:= Erlang中使用=:=更方便但在这里并不重要）但if语句中只能有guard表达式所以你必须使用

T = F(X),
[if T =:= true -> Y; true -> X end | replace_with(F,XS,Y)].

或更多惯用语

[case F(X) of true -> Y; false -> X end | replace_with(F,XS,Y)].

您甚至可以用。替换整个功能

[ case F(X) of true -> Y; false -> X end || X <- XS ].

注意这里二郎语法,是表达式的分隔符 ， ; 是条款的分隔符， . 结束函数定义， end复合表达式。 对于来自其他语言的人来说可能不方便。