嵌套if-else语句-ocaml

Question

我们可以在ocaml的if-else循环内执行多项操作吗？

我正在尝试执行以下操作：

let rec appendtolist n list b  =

    let f x =

        if ( b < 0 ) then x

        else if (b == 0) then ((appendtocode n (List.hd list) ) (b-1)) (* THIS LINE *)

        else ((appendtocode n (List.hd list)) :: (appendtolist n (List.tl list) (b-1)) )

    in

    f list

    ;;

我在大胆的那行上收到编译器的抱怨：

此表达式不是函数，无法应用

我想在b==0时调用我的函数，并同时减小b值。

在这种情况下我该怎么办？

请指教。

谢谢。

Answer 1

这基本上是和以前一样的错误。

您正在评估

appendtocode n (List.hd list)

返回一个不是函数的值。 然后，您尝试使用b-1作为其参数来调用它，但是由于它不是函数，因此无法做到这一点。

我想在b == 0时调用我的函数，并且还要减小b的值。

为谁减b ？ b是函数appendtolist的参数，因此，如果递归调用appendtolist ，则可以为b提供新的参数，这是您在else情况下所做的，并且工作正常。 但在then的情况下你不打电话appendtolist 。 您只在调用appendtocode ， appendtocode没有第三个参数b 。 因此，将其传递给b-1完全没有意义。

我的猜测是，如果您删除b-1 ，您的程序将正常运行。

PS：这个问题是完全不相关的嵌套if秒。

Answer 2

快速猜测：

表达式为

( appendtocode n (List.hd list) )

返回的内容不是函数，因此您无法将（b-1）的值应用于该函数。 为了进行验证，您可以查找appendtocode的类型，并查看它可以使用两个或三个curried参数。