Início / coding / Perguntas / 79095013
Accepted
ihab
Asked: 2024-10-17 00:37:46 +0800 CST

OCaml, não entendo porque o resultado da última declaração é 6

  • 772
let x = 2;;

let x = 3
in let y = x +1
    in x + 1;;

let x = 3 and y = x + 1 
in x + y;;

Os resultados são ordenados respectivamente para cada expressão:

val x : int = 2

- : int = 7

- : int = 6

Você pode me ajudar a entender por que a última expressão é igual a 6? É difícil para mim entender.

Eu executo esse código no tryOCamlpro.

ocaml

1 respostas

  1. Best Answer

    O primeiro é autoexplicativo.

    O segundo deve avisá-lo que yis unused. xé 3, então x + 1é 4. Seu resultado observado de 7sugere que o código que você nos mostrou não é realmente o que você avaliou.

    Para o terceiro, vamos tentar algo um pouco diferente:

    # let x = 3 and y = x + 1 
in (x, y);;
- : int * int = (3, 3)

    Huh. Vamos iniciar um ambiente de intérprete limpo e tentar isso:

    # let x = 3 and y = x + 1 in (x, y);;
Error: Unbound value x

    A partir disso, podemos ver que a definição de ynão estava usando o xdefinido como, 3mas sim a definição anteriorx de como 2.

    Você provavelmente queria:

    # let x = 3 in 
  let y = x + 1 in 
  x + y;;
- : int = 7

    As construções let ... and ...or let ... and ... in ...são realmente úteis apenas para funções mutuamente recursivas.

    • 1

relate perguntas