f#：示例中使用“.. in let ..”的奇怪语法

Question

我正在阅读有关RosettaCode的示例，但并不完全知道以下行在做什么。

let min,subheap = findMin heap' in let rtn = root topnode

似乎findMin heap'是自包含的执行单元。 我不知道它与“in”运算符的关系，也不了解“in”运算符中 let 语句的使用。

这是整个方法

let rec private findMin heap =
  match heap with | [] -> raise Empty_Heap //guarded so should never happen
                  | [node] -> root node,[]
                  | topnode::heap' ->
                    let min,subheap = findMin heap' in let rtn = root topnode
                    match subheap with
                      | [] -> if rtn.k > min.k then min,[] else rtn,[]
                      | minnode::heap'' ->
                        let rmn = root minnode
                        if rtn.k <= rmn.k then rtn,heap
                        else rmn,minnode::topnode::heap''

[编辑] 即使在 sepp2k 解释了它之后，“let”的文档也没有解释这一点。 您必须查看“详细语法（F#）”文档。

Answer 1

let表达式的详细语法是let <ident> = <exp> in <exp> 。 因此，要定义和添加两个变量，您可以let x = 23 in let y = 42 in x + y编写let x = 23 in let y = 42 in x + y 。 F# 的轻量级语法允许您在行尾省略in ，因此此示例将改写为：

let x = 23
let y = 42
x + y

您的代码通过保留第一个in以便能够在一行中包含两个let ，从而混合了冗长和简洁的语法。