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 类型的值调用它。 IE。您将函数从 susp 值中取出，然后在函数上调用 force 而不是 susp 值。你应该这样做：

fun ltail s = ltail' (force s)