SML如何定义适当的选项

Question

为什么以下代码不起作用？

fun sum_list xs =
case xs of
    [] => NONE
 | x::xs' => SOME (x+sum_list xs')

当我将SOME删除而不是NONE时，此代码很好用，而不是NONE。 我知道对于空列表的总和，零是合理的答案。 但是，以下示例为何失败？

更新：通过遵循迭戈的答案使其工作：

fun sum_list xs =
    case xs of
        [] => NONE
      | x => 
        let
            fun slist x =
                case x of
                    [] => 0
                  | x::xs' => x + slist xs'
        in 
            SOME (slist x)
        end

Answer 1

问题在于该函数返回了一个'a option但是在lat表达式中，您使用它的方式就像它返回了一个int一样：

x + sum_list xs'

您必须构建一个仅在列表中工作并返回数字（而不是选项）的内部函数，然后将最终结果装到选项中，或者评估返回的sum_list的结果以查看其是否包含值或为NONE 。 我可以用两种方式写，但是您应该在看到解决方案之前尝试一下。