SML 中的一个函数中的多个 if 语句

Question

我想在 SML 中编写一个函数来检查参数 a、b、c 是否为 true，如果是，则将 x 的值增加为 1.0、@987654327 @ 或 3.0。 例如：

fun calc(a:bool, b:bool, c:bool, d:int) = 
let
    val x = 0.0
in
    if a then x+1.0 else x+0.0
    ;if b then x+2.0 else x+0.0
    ;if c then x+3.0 else x+0.0
    ;if d<120 then x+4.0 else x+0.0
end

如果我使用a、b 和c true 和d < 120 运行此代码，那么我会得到输出：

val it = 0.0 : real

但我想得到输出x。

Answer 1

首先，在单个函数定义中有多个if 表达式没有问题。例如，以下是没有问题的：

fun sign x = if x < 0  then ~1
            else if x = 0 then 0
            else 1;

请注意，if ... then ... else 是一个产生值的表达式，而不是控制结构。在 in 块中有几个独立的 if 表达式，用分号分隔。当您在这样的in 块中有多个表达式时，它们会按顺序计算，最后一个表达式的结果是该块的整体值。这仅在早期表达式有副作用时才有意义（例如，向终端打印某些内容或使用 ref 变量修改存储）。在您的情况下，您的表达式没有副作用，您只是丢弃了这些值（最后一个除外）。

您似乎想要拥有一系列 val 绑定，其中后面的绑定依赖于较早的绑定。这可以做到，但它需要在构造的let 部分中，而不是在in 部分中。比如：

fun calc(a:bool, b:bool, c:bool, d:int) = 
let
    val x = 0.0
    val x = if a then x+1.0 else x
    val x = if b then x+2.0 else x
    val x = if c then x+3.0 else x
in
    if d<120 then x+4.0 else x
end

例如：

- calc(false,false,true,119);
val it = 7.0 : real

您可以通过编写辅助函数更直接地做到这一点：

fun f(a,x) = if a then x else 0.0;

然后：

fun calc(a,b,c,d) =  
let
   val x = f(a,1.0) + f(b,2.0) + f(c,3.0)
in
   if d < 120 then x + 4.0 else x
end