f# - 如何在 f# 中读取 gzip 文件？

Question

我有一个标准的 gzip 文件，我想将其读入 F# 中的序列。我找到了一个关于如何在 Expert F# 3.0 中读取常规文件的示例和引用 .NET GZipStream Class在 MSDN 文档中，但我是 F#/.NET 的新手，不知道如何将两者结合起来以获得所需的结果。

具体来说，我如何修改下面的代码来读取一个 gzipped 文件，比如 test.txt.gz？

let linesOfFile =
    seq {use reader = new StreamReader(File.OpenRead("test.txt"))
         while not reader.EndOfStream do
             yield reader.ReadLine()}

Answer 1

(发表评论作为答案)
GZipStream继承Stream ，因此只需将您的底层流与 CompressionMode 一起传递给其构造函数:

new StreamReader(
  GZipStream(
    File.OpenRead("test.txt"), 
    CompressionMode.Decompress))