ocaml - 递归列表匹配函数中的未绑定值错误

Question

我从介绍性的ocaml课程的幻灯片中复制了一个递归列表匹配函数。

let rec fac n = match n with
     0 -> 1
     | _ -> n * fac(n-1);;

fac 3;;

我得到：＆＃34;错误：未绑定的值fac＆＃34;

为什么会这样？

Answer 1

在emacs中使用M-X tuareg-eval-buffer可以：

        OCaml version 4.02.3

# let rec fac n = match n with
     0 -> 1
     | _ -> n * fac(n-1);;

fac 3;;
    val fac : int -> int = <fun>
#   - : int = 6
# 

你可能只运行了M-X tuarge-eval-region而只选择了fac 3，因此从未定义过这个函数。