使用SML/NJ的Lazy — 表达式应该是15，但它发散了

Question

我正在使用 SML/NJ v110.80 和 Lazy。

我在repl中尝试了以下代码

Control.lazysml := true;
open Lazy;
fun f x = f x;
let val x = $(f(4)) in 15 end; 

最后一个表达式应该是 15，但它发散了。

我是否犯了错误或者只是工作不正常？

Answer 1

OP 写道：

我发现是我的错，我应该写

let val lazy x = $(f(4)) in 15 end;

我在这里找到了这个信息--http://www.geocities.jp/m_hiroi/func/smlnj16.html