Question

我正在尝试使用OCaml中的Num模块（bignums和big fractions）。有些东西似乎有效，而有些东西似乎没有，而且我无法生成一个完整的例子。例如：

# Num.Int(234);;
- : Num.num = Num.Int 234
# Num.mult_num;;
Characters -1--1:
  Num.mult_num;;
Error: Reference to undefined global `Num'

我可以问一个两个bignums相乘的简单例子吗？

Num的引用为here。

Answer 1

如果已经启动了顶层，则可以动态加载库：

# #load "nums.cma";;
# Num.mult_num;;
- : Num.num -> Num.num -> Num.num = <fun>

另一种可能性（适用于所有第三方库并将为您管理路径和依赖项）是使用ocamlfind。为此，问题

#use "topfind";;

（或者更好地将其放在~/.ocamlinit文件中）。要加载库，只需执行

# #require "num";;
/usr/lib/ocaml/nums.cma: loaded
/home/user/.opam/system/lib/num-top: added to search path
/home/user/.opam/system/lib/num-top/num_top.cma: loaded
/home/user/.opam/system/lib/num: added to search path

（如果ocamlfind - 因此topfind - 不可用，请使用opam进行安装。）

以下是乘法的示例：

# Num.(num_of_int 30 */ num_of_int 1234);;
- : Num.num = Num.Int 37020

构造Num.(e)是let open Num in e的简写，可以使用Num中没有前缀的e函数。以下是阶乘的定义：

# let rec fac n =
    let open Num in
    if n =/ Int 0 then Int 1 else n */ fac (n -/  Int 1);;
val fac : Num.num -> Num.num = <fun>

您可以尝试

# fac Num.(Int 100);;
- : Num.num = Num.Big_int <abstr>

如果您使用#require，则会为Num值安装漂亮的打印机，以便之前的互动如下：

# fac Num.(Int 100);;
- : Num.num =
<num 93326215443944152681699238856266700490715968264381621468592963895217599993229915608941463976156518286253697920827223758251185210916864000000000000000000000000>

更容易阅读！

Answer 2

Num模块由默认情况下未链接的库提供。您需要在链接器或顶层命令行上传递库。您可以使用模块中的类型（例如Num.num）和构造函数（例如Num.Int），因为它们只需要静态（编译时）信息，但使用变量（包括函数，例如{{1} }）需要动态信息（代码），必须明确链接。

用于顶级用途：

Num.mult_num

编译和链接程序：

$ ocaml nums.cma
        OCaml version 4.01.0

# Num.mult_num;;
- : Num.num -> Num.num -> Num.num = <fun>
#

包含该模块的库的名称在chapter about the library in the Ocaml reference manual的开头提供。对于其中许多，库的名称与它包含的唯一模块的名称相同，但这是一种约定，而不是义务。对于包含多个模块的ocamlc -o myprogram.byte myfile.ml nums.cma ocamlopt -o myprogram.native myfile.ml nums.cmxa等库，您需要查找库的名称。

Answer 3

Customer是一个独立的库（不是标准库的一部分），在用于顶层之前必须是必需的。

Num

错误：引用未定义的全局“Num”

3 个答案: