使用FSharpLu反序列化JSON：seq延迟加载与比较行为疑问

问题一：文件读取与反序列化的时机 #

你的read函数通过use关键字绑定文件流，这意味着函数执行完毕后，流会被自动释放（调用Dispose方法）。如果Compact.deserializeStream返回的是真正惰性的seq，后续访问x的元素时必然会因为流已关闭而抛出异常，但你并未遇到这种情况，说明调用read函数时，文件已经完成了读取和完整的反序列化。

FSharpLu的Compact.deserializeStream在处理seq<'T>类型时，会一次性读取整个流的JSON数组内容，把所有元素反序列化完成后再包装成seq返回，而非延迟执行反序列化逻辑。

问题二：seq与list的相等性差异 #

F#中不同集合类型的相等性判断逻辑存在本质区别：

• seq<'T>本质上是IEnumerable<'T>接口，默认的相等性判断是引用相等——只有当两个变量指向同一个序列实例时，才会返回true。你从两个文件反序列化得到的是两个独立的IEnumerable实例，哪怕元素完全一致，x=y也会返回false。
• list<'T>是F#的具体集合类型，默认使用结构相等——会递归地逐个比较列表中的元素，只要所有元素的顺序和内容都完全一致，就会返回true。

如果需要判断两个seq的元素是否相等，可以使用Seq.equal函数来做结构比较：

printfn "%A" (Seq.equal x y)

内容的提问来源于stack exchange，提问作者Jansen Van Beek