主页 / coding / 问题 / 79095013
Accepted
ihab
Asked: 2024-10-17 00:37:46 +0800 CST

OCaml，我不明白为什么最后一条语句的结果是 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;;

结果按每个表达式分别排序：

val x : int = 2

- : int = 7

- : int = 6

你能帮我理解为什么最后一个表达式等于 6 吗？我很难理解。

我在tryOCamlpro中运行此代码。

ocaml

1 个回答

  1. Best Answer

    第一个是不言自明的。

    第二个应该警告您y未使用。x是3，所以x + 1也是4。您观察到的结果7表明您向我们展示的代码实际上并不是您所评估的代码。

    对于第三个，让我们尝试一些不同的东西：

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

    嗯。让我们启动一个干净的解释器环境并尝试一下：

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

    由此我们可以看出， 的定义y并没有使用x定义为3而是使用了 的先前定义x为2。

    你可能想要：

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

    let ... and ...或结构let ... and ... in ...实际上仅对相互递归函数有用。

    • 1

相关问题