Ocaml Int和负值

Question

鉴于此OCaml代码片段:

let rec range a b =
  if a > b then []
  else a :: range (a+1) b
  ;;

Repl告诉我它的类型是:

val range : int -> int -> int list = <fun>

给它输入如下:

range 0 4;;

给出列表:

- : int list = [0; 1; 2; 3; 4]

但是提供输入

range -4 2;;

给出错误:

Characters 0-5:
  range -4 1;;
 ^^^^^
This expression has type int -> int -> int list but is here used with type int.

这是什么试图告诉我的？

Answer 1

当你打字时,

range -4 2;;

你需要记住,这-是一个函数,一个中缀函数,而不是一元否定.

要做一元否定,你可以做两件事之一,1)先行 - 用〜符号,如〜-4,或用括号.

Answer 2

我刚刚意识到我需要包装

-4 in parenthesis

即打电话:

range (-4) 0;;

得到:

- : int list = [-4; -3; -2; -1; 0]

如果其他人遇到同样的问题,我会留下这个问题.

只是总结一下这个问题是-被解释为一个函数而不是令牌的标志4.

您可以看到:OCaml语言问题以获取更多信息.