子句右侧与函数结果 sml 不一致

Question

fun can_move    0 0 0 nil = false
|   can_move    limit_down V 0 a  = true
|   can_move    limit_down V count a =  if  ((V-limit_down)>hd a) then false else               can_move limit_down V (count-1) tl a ;

嘿，这是我的代码，我只想检查值 V-limit_down 是否低于 int 列表 a 中的数字。我想从 a 列表中检查的参数数量是 V/10 。例如，如果我有 20 V，那么我想检查列表的前两个参数。为什么会出现这个错误？

can_move.sml:1.6-3.114 Error:right-hand-side of clause doesn't agree with function     result type
[tycon mismatch] 
expression: int -> int -> int list -> bool
result type: int -> int -> (Z' list -> 'Z list) -> int list -> bool
in declaration:

can_move (fn arg =) (fn <pat> => <exp>))

Answer 1

您似乎忘记了模式匹配最后右侧的括号。在递归调用can_move limit_down V (count-1) tl a 中，请注意您的最后一个参数是tl a。通常，解析器可以确定这是一个函数应用程序。不幸的是，当应用程序的结果是另一个应用程序的一部分时，这是不明确的，就像这里一样。

解决方法是将调用括起来：can_move limit_down V (count-1) (tl a)。