问题描述
我似乎无法在 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)))
}
解决方法
如果您对 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>
。
换句话说,在流 0 和流 0 的有限版本之间有许多潜在的相等性。
相反,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>
的递归类型及其许多类型等式是麻烦而不是有用的,并且默认情况下禁用此类递归类型。