ocaml - 如何呈现 big_int？

Question

我正在使用 big_int 类型。我查看了 OCaml 的库 Pervasives。

例如:在Int32

let t = 5l
Printf.printf "%ld" t

如果我想声明它是一个 big_int，我如何定义 t 和哪个 %?d？

Answer 1

下面是一个顶层 session 。如果您使用编译器，#load 指令将成为命令行链接选项:

# #load "nums.cma" ;;
# let t = Big_int.big_int_of_int 5 ;;
val t : Big_int.big_int = <abstr>
# Printf.printf "%s" (Big_int.string_of_big_int t) ;;
5- : unit = ()

对于不适合原生 int 的数字，请使用 Big_int.big_int_of_string。示例:Big_int.big_int_of_string "99999999999999999999999"。

完整的函数列表是here .

最后，Big_int 模块非常陈旧和笨拙。该界面可以追溯到 caml-light，其中模块系统是基本的。这就是为什么每个函数名都重复重复“big_int ...”的原因。如果你现在选择一个大整数库，我会推荐Zarith ，这是现代和高效的。 Zarith 的缺点是它需要单独下载(目前)。