主页 / coding / 问题 / 79351824
Accepted
smwikipedia
Asked: 2025-01-13 18:16:13 +0800 CST

OCaml 与 zarith 库中的类型信息显示不匹配

  • 772

红框里的类型信息为什么不是：'a -> 'a -> 'a -> 'a -> 'a？

在此处输入图片描述

我认为所有参数和返回值都应该是同一类型，并且 utop 确实确认它们都是同一Z.t类型。

utop # let rec fib_acc = fun n -> fun n_1 -> fun n_2 -> fun acc ->
  if (Z.equal n Z.one) || (Z.equal n (Z.of_int 2)) 
  then acc
  else fib_acc (Z.add n Z.minus_one) n_2 (Z.add n_1 n_2) (Z.add n_1 n_2);;
val fib_acc : Z.t -> Z.t -> Z.t -> Z.t -> Z.t = <fun>
ocaml

2 个回答

  1. Best Answer

    我们对Z.add、Z.equal、和的类型了解多少Z.one？Z.minus_oneZ.of_int

    如果您想要得出这样的结论，那么您需要这些信息：n, n_1, n_2并且acc所有都有类型Z.t。

    Z.add在不知道函数和 的类型的情况下Z.equal，我们可以得出acc和 返回值具有相同的类型，因为 分支then acc，并且我们可以得出n_1和n_2具有相同的类型，因为n_2代替了n_1递归调用中的 。这解释了 的类型'a -> 'b -> 'b -> 'c -> 'c。

    据推测，utop可以访问Z.add和的类型Z.equal，但为您提供类型提示的软件'a -> 'b -> 'b -> 'c -> 'c无法访问该信息。

    • 2

  2. 除了stef 的回答之外，您似乎犯了一个新 OCaml 程序员经常犯的错误：在源代码文件中使用顶级指令。#require您需要确保正确编译以链接 Zarith 库，而不是使用。

    您可以使用 dune，但目前这可能有点过头了。目前来说，ocamlfind它可以很好地完成工作。

    ocamlfind ocamlc -package zarith zarith.cma your_source_file.ml

    您的源文件现在是：

    let rec fib_acc n n_1 n_2 acc =
  if (Z.equal n Z.one) || (Z.equal n (Z.of_int 2)) then acc
  else fib_acc (Z.add n Z.minus_one) n_2 (Z.add n_1 n_2) (Z.add n_1 n_2)

    Z但如果我们局部打开并局部重新定义，这可能会变得更易读=。加minus_one也可以是减 one。

    let rec fib_acc n n_1 n_2 acc =
  let open Z in
  let (=) = equal in
  if n = one || n = of_int 2 then 
    acc
  else 
    fib_acc (n - one) n_2 (n_1 + n_2) (n_1 + n_2)

    还要注意，您传递的值n_2和acc是相同的。acc参数是不必要的。您的函数可以简化。

    let rec fib_acc n n_1 n_2 =
  let open Z in
  let (=) = equal in
  if n = one || n = of_int 2 then 
    n_2
  else 
    fib_acc (n - one) n_2 (n_1 + n_2)

    但您可能也想隐藏最后两个参数，因为您总是希望在第一次调用时提供一些设定值。Z.(fib_acc (of_int 67) (of_int 34) (of_int 3))例如，调用就没有意义了。

    let fib n =
  let open Z in
  let (=) = equal in
  let rec aux n n_1 n_2 =
    if n = one || n = of_int 2 then 
      n_2
    else 
      aux (n - one) n_2 (n_1 + n_2)
  in
  aux n zero one
    • 2

相关问题