如何在 Ocaml 中迭代流

Question

我正在尝试遍历流以打印内容。

type 'a stream = Nil | Cons of 'a * 'a stream thunk and 'a thunk = unit -> 'a

这是我的函数被调用的地方

|> iter_stream ~f:(fun (f,c,l) -> printf "%s %s %s\n" f c l)

这就是类型

let rec iter_stream st ~f 
(* val iter_stream : 'a stream -> ('a -> unit) -> unit *)

我似乎找不到任何关于如何实现它的示例。我唯一的想法是将其视为一个列表，这显然是错误的，因为我遇到了类型错误。

let rec iter_stream st ~f =
match st with
| None -> ()
| Some(x, st') -> f x; iter_stream st' ~f

Answer 1

您的流与列表极为相似，只是您需要调用一个函数来获取列表的尾部。

您提出的代码有很多缺陷。我看到的主要两个缺陷是：

1. 您正在使用构造函数 None 和 Some，而流具有构造函数 Nil 和 Cons。

2. 您没有调用函数来获取流的尾部。请注意，在Cons (a, b) 中，b 是一个“流 thunk”，即您可以调用它来获取流。

（也许这是仅有的两个缺陷:-)

我希望这会有所帮助。