Ocaml中的「type ... and」和「let ... and」之間作用域的相互影響

Question

我想知道爲什麼在Ocaml中，「let ..和...」沒有與「type ......然後......「：

如下因素之一是OK，T2在同一個作用域爲T1

# type t1 = t2 
and t2 = int;; 

這下面一個是錯誤的，在V2中不作用域

# let v1 = v2 
and v2 = 3;; 

    Characters 9-11: 
    let v1 = v2 
      ^^ 

Error: Unbound value v2 

即使「讓rec」不起作用...

# let rec v1 = v2 
and v2 = 3;; 

    Characters 13-15: 
    let rec v1 = v2 
       ^^ 
Error: This kind of expression is not allowed as right-hand side of `let rec' 

爲什麼在「type ... and」和「let ... and」之間作用域範圍的不一致？謝謝。

Answer 1

類型是隱式遞歸的。如果你想與「let」有相同的效果，使用「let rec ..和」。

在理想的語言中，有意義的綁定形式應該有兩個版本，一個是遞歸的，一個是非遞歸的。在Caml，let就是這種情況，你有let和let rec。沒有可訪問的非遞歸類型綁定形式;它不一定是默認的，即使type nonrec ...也可以。這是Caml語法的缺陷;例如，給出了非遞歸類型定義的不良後果in this blog post。

關於你的第二個例子，這不是關於範圍界定，而是某些遞歸定義的有效性而不是其他。這是一個完全正交的問題（請參閱ocaml manual遞歸定義是有效的），並且let rec完全按照您希望的方式在範圍內進行。