应用功能到流

Question

如果我有一个函数f和流s。我如何将这个函数应用到流中。熟悉List.map的工作方式。

这是任何类型的无限流：

type 'a stream = Cons of 'a * (unit -> 'a stream) 

我想出了这一点，这肯定是错误的，但至少它reperesents什么，我试图做

type 'a stream = Cons of 'a * (unit -> 'a stream) 

let rec map f (cons(x,xsf)) = f x then map f (xsf) 

Answer 1

东西像这样应该工作：

module Stream = 
    let rec map f (Cons(x,xs)) = 
     Cons(f x,fun() -> xs() |> map f) 

这定义了一个Stream模块，其中我们可以保留有用的功能与流（类似于List模块）的交易，只有在一个单一map功能。地图功能采用功能f和x到xs功能，并将f映射到流上，返回一个新流，其头部为f x，其尾部通过将f映射到由调用xs产生的流获得。