OcamL惰性列表系列生成

Question

我对这个任务有疑问：

• 定义惰性列表 lSpec (Ocaml)，其中包含一个 1、两个 2、三个 3 等 1,2,2,3,3,3,4,4,4,4,5,...

据我所知：

type 'a llist = LNil | LCons of 'a * (unit -> 'a llist);;

let rec lfrom k = LCons (k, function () -> lfrom (k+1));; 

let rec ltake = function  
(0, _) -> []  
| (_, LNil) -> []  
| (n, LCons(x,xf)) -> x::ltake(n-1, xf()) ;;

此函数根据输入的数字生成整数系列，例如。

ltake (5,lfrom 30);; 
- : int list = [30; 31; 32; 33; 34] 

我想做的事情是将函数 lfrom 转换为创建的不是整数系列，而是我任务中的系列。但我不知道是否有一些模式可以创建这样的系列？

提前感谢您的帮助。

Answer 1

您现在拥有的代码仅使用一个值k 来跟踪它在序列中的位置。从根本上说，这对于新问题来说已经足够了，但是对于状态只使用一个数字会使事情难以跟踪。

你可能会考虑这样的事情：

let rec lspecfrom (j, k) = . . .

其中j 是您正在处理的数字（1、2、3、4，...），k 是到目前为止已生成的数字。然后整个列表将通过调用lspecfrom (1, 0) 生成。