sml中懒惰的尾巴

Question

我正在阅读一些笔记，我意识到有什么是不对的。

当模拟延迟计算（没有open Lazy;）时，可以为一个流执行以下操作。

datatype 'a susp = Susp of (unit -> 'a) 

datatype 'a stream' = Cons of 'a * ('a stream') susp 
type 'a stream = ('a stream') susp 

fun delay (f) = Susp(f); 

fun force (Susp(f)) = f(); 

val rec ones' = fn() => Cons(1, delay(ones')); 

val ones = delay(ones') 

fun ltail(Susp(s)) = ltail'(force s) 
and ltail' (Cons(x,s)) = s 

但是对于获得悬挂尾巴的类型不匹配。

operator domain: 'Z susp 
operand:   unit -> 'Y 

需要改变ltail的正确类型？ 我知道尾巴没有挂起会发生什么。 我只是想弄清楚这些笔记对暂停版本所说的话。

Answer 1

fun ltail(Susp(s)) = ltail'(force s) 

的这里的问题是，force需要susp类型的值，但是你() -> 'a类型的值调用它。即您从susp值中取出函数，然后在函数上调用force而不是susp值。你应该这样做：

fun ltail s = ltail' (force s)