Início / coding / Perguntas / 79351824
Accepted
smwikipedia
Asked: 2025-01-13 18:16:13 +0800 CST

Incompatibilidade de exibição de informações de tipo em OCaml com biblioteca Zarith

  • 772

Por que a informação do tipo na caixa vermelha não é: 'a -> 'a -> 'a -> 'a -> 'a?

insira a descrição da imagem aqui

Acho que todos os parâmetros e o valor de retorno devem ser do mesmo tipo, e o utop confirma que todos eles são do mesmo Z.ttipo.

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 respostas

  1. Best Answer

    O que sabemos sobre os tipos de Z.add, Z.equal, Z.one, Z.minus_onee Z.of_int?

    Você precisa dessa informação se quiser concluir que n, n_1, n_2todos acctêm o tipo Z.t.

    Sem saber os tipos de funções Z.adde Z.equal, podemos concluir que acce o valor de retorno têm o mesmo tipo, por causa do then accbranch, e podemos concluir que n_1e n_2têm o mesmo tipo, porque n_2em lugar de n_1na chamada recursiva. Isso explica o tipo 'a -> 'b -> 'b -> 'c -> 'c.

    Presumivelmente, utoptem acesso aos tipos de Z.adde Z.equal, mas o software que fornece a dica de tipo 'a -> 'b -> 'b -> 'c -> 'cnão tem acesso a essas informações.

    • 2

  2. Além da resposta de stef , parece que você está cometendo um erro muito comum para novos programadores de OCaml: usar diretivas de nível superior em arquivos de código-fonte. Em vez de usar, #requirevocê precisa garantir que está compilando corretamente para vincular a biblioteca Zarith.

    Você pode usar dune, mas isso provavelmente é exagero neste estágio. Neste ponto, ocamlfindfará o trabalho muito bem.

    ocamlfind ocamlc -package zarith zarith.cma your_source_file.ml

    Com seu arquivo de origem agora sendo:

    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)

    Mas isso pode se tornar mais legível se abrirmos Ze redefinirmos localmente =. Adicionar minus_onetambém pode ser subtrair 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)

    Note também que os valores que você está passando para n_2e accsão os mesmos. O accargumento é desnecessário. Sua função pode ser simplificada.

    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)

    Mas você provavelmente também quer esconder esses dois últimos argumentos de qualquer forma, pois há valores definidos que você sempre quer fornecer na primeira chamada. Não faria sentido chamar, Z.(fib_acc (of_int 67) (of_int 34) (of_int 3))por exemplo.

    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

relate perguntas