ReScript 中的无限列表/流答案

【问题标题】：Infinite Lists / Streams in ReScriptReScript 中的无限列表/流
【发布时间】：2021-01-14 11:13:11
【问题描述】：

我似乎无法为 ReScript 中的无限列表找到正确的类型。

我第一次尝试：

type rec stream<'a> = ('a, () => ('a, stream<'a>))

这是不正确的，因为 ReScript 认为该类型是循环的。所以我尝试了：

type rec stream<'a> = ('a, Lazy.t<() => ('a, stream<'a>)>)

这仍然给了我一个类型错误。

最终我试图让这段代码工作，但由于类型签名是无限的，它失败了。

let rec from: (int, Lazy.t<() => (int, Lazy.t<...>) = (x: int) => {
    (x, () => Lazy.from_fun(from(x+1)))
}

【问题讨论】：

您可以重用 OCaml 的 Seq，它是一个无限流：caml.inria.fr/pub/docs/manual-ocaml/libref/Seq.html - 它没有任何原生依赖项，因此您应该可以直接将其复制并粘贴到您的项目中。
是的，我可以用一个变体和某种结束列表的方式来做到这一点，我只是想避免这种情况
有一个-rectypes 标志，你可以传递编译器，它应该让它接受这个。
为了提供更多关于我为什么要避免它的上下文。我希望某人总是能够获得next，即使“结束”发生，因为next 不断返回None。因此，类型本身定义了永远会有下一个，而不是假装/希望永远存在。我希望这是有道理的。

【解决方案1】：

如果您对Sequence 的唯一反对意见是Nil 的情况，您可以定义

type rec stream<'a> = { x:'a, next:() => stream<'a> }

与您的定义不同的是，我们是在创建一个新的递归类型，而不是试图定义一个递归类型表达式。

编辑：

使用元组或记录的区别在于，元组是结构类型的，而记录是名义类型的。

这改变了平等和身份方面的一切。

特别是原始定义可以理解为

type stream0<'a> = ('a, () => 'b ) as 'b

然后，每当想要将类型 stream0<'a> 与元组类型进行比较时，可能需要将该缩写扩展无限次。

例如，这个函数是类型良好的。

let f: stream0<int> => (int, ()=>(int,() => _)) = (x) => x

或者这个：

let app_once = ((x,next)) => next ()

这里的一个重要结果是可以在预期有限流的上下文中使用stream0<'a>。换句话说，在 stream0 和 stream0 的有限版本之间有许多潜在的相等性。

相反，stream<'a> 的记录定义创建了一个新的不同类型构造函数stream。因此，stream<'a> 只能等于stream<'a>。换句话说，一个为stream<'a>设计的函数

let app_once  = {x;next} => next(())

无法使用该类型

type one_stream<'a> = { x:'a, next:() => ('a, ()) }

在实践中，stream0<'a> 的递归类型及其许多类型相等性比有用更麻烦，并且默认情况下禁用此类递归类型。

【讨论】：