我发现Lazy和Inf非常接近：
懒惰和Inf密切相关（事实上，潜在的 实现使用相同的类型）。实践中唯一的区别是 在总体检查中，Lazy被删除（即检查术语） 通常终止，忽略懒惰注释），Inf使用a 生产力检查器，其中任何使用Delay必须是构造函数 保护。
正如above所述，Lazy和Inf的基础实现是相同的，唯一的区别在于整体检查。
我认为总是使用Inf似乎更自然，这更接近我们在Haskell中使用的懒惰，并想知道生产中的场景我们必须使用Lazy - 这总是做一个深刻的整体检查？