运算符和操作数不一致 [tycon mismatch]

Question

我正在尝试在 sml 中编写一个 function ，它接受一个对列表并返回所有元素的两个列表的对如果输入是 [(1, 2.0), (2, 3.0)] output 应该是 ([ 1, 2], (2.0, 3.0))

fun divide nil = (nil , nil)
| divide [(a, b)::nil] = ([a], [b])
| divide [(a, b)::myTl] =
    let
      val (x, y) = divide myTl
      
    in
      (a::x, b::y)
    end

;

sml 解释器返回以下 err 的次数越少越好

Error: operator and operand do not agree [tycon mismatch]
operator domain: ('Z * 'Y) list list
operand:         ('Z * 'Y) list
in expression:
divide myTl

Answer 1

您看到的错误消息是因为您（无意中）声明了一个 function 由于您的输入模式而带有域('a * 'b) list list ，因此您的递归调用没有很好地键入。

最直接的解决方法是纠正函数参数周围[ ]的错误使用——这是制作 singleton 列表，而不是仅仅对模式进行分组。 因此，您想改用( ) 。

fun divide nil = (nil , nil)
  | divide ((a, b)::nil) = ([a], [b])
  | divide ((a, b)::myTl) =
    let
      val (x, y) = divide myTl
      
    in
      (a::x, b::y)
    end

您的第二个基本案例也是无关紧要的，因此我们可以进一步修改为

fun divide [] = ([], [])
  | divide ((a, b)::xs) =
    let
      val (x, y) = divide xs   
    in
      (a::x, b::y)
    end