机器学习新手：如何存储 a* a* a* 类型的返回值

Question

我有一个返回 int*int 的程序

（用于说明目的的示例）： fun program(a,b) = (1,2)

我想做一些类似的事情：

趣味节目(a,b)
如果 a = 0 则 (1,2)
否则
val x,y = 程序(a-1,b)
返回（x-1，y）

基本上，我想操作返回的元组，然后返回它的修改。

谢谢

Answer 1

我还想建议，虽然您需要返回类型t : int * int，但您至少curry< /strong> 函数的输入来自： int * int = int -> int。如果您需要将其转回原处，您可以随时取消咖喱。我建议将该函数编写为：

fun program a b =
   if a = 0 
   then (1,2)
   else
       let
           val (x,y) = program (a - 1) b
       in
           (x - 1, y)
       end

该函数的类型是： int ->整数-> （整数*整数）

Answer 2

这几乎与您编写的完全一样，只是您的语法有点偏离：

fun program(a,b) =
  if a = 0 then (1,2)
  else
    let val (x,y) = program(a-1,b) in
      (x-1, y)
    end

具体来说：

1. 函数由 fun f args = body 定义 - 您遗漏了 =。
2. 变量通过 let val foo = bar in baz end 绑定。
3. sml 中没有 return 关键字。