4

似乎我无法为 ref 分配抽象值，我不知道该怎么做。

open Big_int
let largest = ref zero_big_int;;
let depth = ref zero_big_int;;
let rec big i = (add_int_big_int i zero_big_int)
and collatz = fun num depth ->
  print_endline (string_of_big_int num);
  (if(eq_big_int  (add_int_big_int (-1) num) zero_big_int)then(depth)else(
    if eq_big_int (mod_big_int num (big 2)) zero_big_int then (collatz (div_big_int num (big 2)) (succ_big_int depth)) else (collatz (succ_big_int (mult_int_big_int 3 num)) (succ_big_int depth))))
and euler14 i =
  print_endline (string_of_big_int i);
  (if(lt_big_int i (big 1000000))then (
    let ret = (collatz i unit_big_int) in
    if(ret> !depth)then (largest:=i;depth:=ret; (euler14 (succ_big_int i))) else (euler14 (succ_big_int i))
  ) else (!largest));;
print_endline (string_of_big_int (euler14 (big 2)));;

当我尝试都是 Big_nums 的最大：=i 和深度：=ret 时，代码似乎崩溃了。有没有办法解决？

2
2
1
3
3
10
5
16
8
4
2
1
Fatal error: exception Invalid_argument("equal: abstract value")
4

2 回答 2

6

您不能将 type 的值Big_int.big_int与多态的=, >,进行比较>=。相反，您必须为所有包含 a 的类型编写自己的比较函数Big_int.big_int，即使它是深度嵌入的。

使用 OCaml 3.12.1 或更高版本，您可以将多态比较函数与Z.t外部库Zarith中实现的类型值一起使用，这是 Big_int的现代替代品。

与多态操作兼容只是 Zarith 相对于 Big_int 的优势之一。它的内存也更紧凑，速度更快。

于 2013-02-18T05:25:55.097 回答
0

失败的事情似乎是多态比较ret > !depth，而不是对 ref 的赋值。我假设你可以使用Big_int.compare_big_int.

# let x = big_int_of_int 3;;
val x : Big_int.big_int = <abstr>
# let y = big_int_of_int 4;;
val y : Big_int.big_int = <abstr>
# x > y;;
Exception: Invalid_argument "equal: abstract value".
# compare_big_int x y;;
- : int = -1
#

（多态比较是 OCaml 中的敏感点之一。）

于 2013-02-18T05:04:38.217 回答