错误：运算符不是函数 - SML

Question

我正处于编程和 SML 的第一步，我正在尝试创建一个程序。事实上，发生了很多错误。

在这篇文章中我得到了错误：

操作符不是函数

我是函数式编程的新手，很难理解下面代码的逻辑。是否可以在“let”中使用多个“val”声明，并且在模式匹配中使用了let/val/in？

fun action(_,_,[]) = ([],[]) 
   |action(cin,cout,h::[]) = 
    let 
      val (s1,d1,d2) = (pass_cout(pass_cin h cin) cout, #1          (find2digits((pass_cout(pass_cin h cin) cout))),#2     (find2digits((pass_cout(pass_cin h cin) cout))))

  in
   if (d1<>d2) then 
    (d1::[],[])
   else ([],[])
  end
 |action (cin,cout,first::t) = 
  let
   val s1  = pass_cout ((pass_cin first cin) cout) 
   val s2 = pass_cout  (last_element t) cout (**)
   val d1 = #1 find2digits(s2)
   val d2 = #2 find2digits(s2)
   val neo_in = produce_cin s1 s2 (**)
   val neo_out = produce_cout s2

  in 
    if (neo_in<2 andalso neo_out<2) then
    (d1::action(neo_in,neo_out,cut (first::t)),d2::action(neo_in,neo_out,cut (first::t))) (**)
    else ([],[])
    end;

Answer 1

我看到你问了三个问题。

我可以在 let 中使用多个 val 声明吗？

是的。你已经在大规模地这样做了。

let/val/in[/end]用于模式匹配吗？

我不完全确定你的意思，所以我会尽量回答我想你可能会问的所有问题。

首先，let-bindings 允许您将某些计算或值的结果临时绑定到名称。如果您需要多次使用结果，并且计算成本很高，或者需要您不希望重复的副作用，这很有用。但它们也可以使代码更具可读性（因为名称可能会增加含义）。 模式匹配允许您以逐个案例的方式处理不同输入的多个案例。您可以匹配到任意深度，编译器通常能够判断您是否缺少任何模式。

所以如果你问是否在模式匹配中使用了 let-bindings，至少在以下意义上答案是肯定的：

1. 就像 let-binding 临时将计算或值绑定到名称一样，当您的模式匹配中有 变量模式 时，也会发生同样的事情。例如

   let val (a, b, c) = f (x, y) in ... end
   

   等价于

   (case f (x, y) of
        (a, b, c) => ...)
   

   a、b 和 c 是始终匹配并绑定到 ... 中的某个值的模式。

2. 您可以在其他 let-bindings 或 case-ofs 中包含 let-bindings 和 case-ofs，例如

   let val result =
       (case f (i, j) of
            SOME (x, y) => let val (a, b, c) = (g x, g y, g (x + y))
                           in
                             ...
                           end
          | NONE => ...)
   in ... end
   

   但这些示例通常可以简化。

如果你问是否在 let-bindings 中使用了模式匹配，答案是肯定的，实际上在进行 let-binding 时会进行一些模式匹配；例如在

let
  val (s1, d1, d2) = (pass_cout(pass_cin h cin) cout,
                      #2 (find2digits((pass_cout(pass_cin h cin) cout))),
                      #2 (find2digits((pass_cout(pass_cin h cin) cout))))
in ... end

val (s1, d1, d2) = ... 绑定在三元组上使用模式匹配。 let-bindings 中的模式匹配只是在处理 产品类型，从不使用sum types。请参阅What are "sums-and-products" data structures? - 即，永远不要这样做

val SOME x = f x

因为它会在f x 是NONE 的那一刻炸毁。 case-of 结构比 let-in-end 更适合更大范围的模式，而 let-in-end 更好适合进行一系列任务时，例如

fun solve2 (a : real, b : real, c : real) =
    let val discr  = b * b - 4.0*a*c
        val sqr = Math.sqrt discr
        val denom = 2.0 * a
    in ((~b + sqr) / denom,
        (~b - sqr) / denom) end

为什么我的程序给我错误“操作符不是函数”？

正如约翰所说，这很难知道，因为您编写的代码只有在为值 pass_cout、pass_cin、find2digits、last_element、produce_cin 和 @ 提供有意义的定义时才会运行987654339@。您转发错误消息的方式并不表明问题所在，并且您编写的代码无法运行以完整地重现错误消息。如果我对这些有有意义的值，那么这段代码似乎还有其他类型不统一的问题。

由于您的代码没有传达自己的意图（使用通用名称，如 action、s1、d2 等），我也无法推荐更好的编写方式，因为我不知道是什么它应该这样做，所以这里有一些关于编码风格的一般建议：

1. 使用 let-bindings 避免调用像 find2digits 这样的函数两次，例如喜欢

   let
     val (d1, d2) = find2digits ...
     val s1 = pass_cout ...
   in
     ...
   end
   

2. 正确拆分行，例如喜欢

   if neo_in < 2 andalso neo_out < 2
   then (d1::action(neo_in,neo_out,cut (first::t)),
         d2::action(neo_in,neo_out,cut (first::t)))
   else ([],[])
   

   甚至更好，比如

   if neo_in < 2 andalso neo_out < 2
   then let
          val wat = action (neo_in, neo_out, cut (first::t))
        in
          (d1::wat, d2::wat)
        end
   else ([], [])
   

   wat 被替换为一些有意义的名称来描述这是什么。

3. Choose good variable names!