在 Haskell 中使用 Data.Sequence

Question

我写了一个程序，结果发现使用列表太慢了，所以我试图切换到序列。但是，在查看文档后，我似乎无法弄清楚正确的语法。

到目前为止，我正在尝试使用这个简单的代码来学习：

import Control.Monad
import qualified Data.Sequence as S

main :: IO ()
main = do 
       let testSeq = S.empty
       testSeq S.|> 5
       testSeq S.|> 20
       testSeq S.|> 3
       let newSeq = S.update 2 3 testSeq
       let x = lookup 2 testSeq
       print x

我已经玩了一段时间的语法，但没有运气，但它仍然有很多错误：

test.hs:9:8:
    Couldn't match expected type ‘IO a0’
                with actual type ‘S.Seq Integer’
    In a stmt of a 'do' block: testSeq S.|> 5
    In the expression:
      do { let testSeq = S.empty;
           testSeq S.|> 5;
           testSeq S.|> 20;
           testSeq S.|> 3;
           .... }
    In an equation for ‘main’:
        main
          = do { let testSeq = ...;
                 testSeq S.|> 5;
                 testSeq S.|> 20;
                 .... }

test.hs:10:8:
    Couldn't match expected type ‘IO a1’
                with actual type ‘S.Seq Integer’
    In a stmt of a 'do' block: testSeq S.|> 20
    In the expression:
      do { let testSeq = S.empty;
           testSeq S.|> 5;
           testSeq S.|> 20;
           testSeq S.|> 3;
           .... }
    In an equation for ‘main’:
        main
          = do { let testSeq = ...;
                 testSeq S.|> 5;
                 testSeq S.|> 20;
                 .... }

test.hs:11:8:
    Couldn't match expected type ‘IO a2’
                with actual type ‘S.Seq Integer’
    In a stmt of a 'do' block: testSeq S.|> 3
    In the expression:
      do { let testSeq = S.empty;
           testSeq S.|> 5;
           testSeq S.|> 20;
           testSeq S.|> 3;
           .... }
    In an equation for ‘main’:
        main
          = do { let testSeq = ...;
                 testSeq S.|> 5;
                 testSeq S.|> 20;
                 .... }

test.hs:13:25:
    Couldn't match expected type ‘[(Integer, b)]’
                with actual type ‘S.Seq a3’
    Relevant bindings include x :: Maybe b (bound at test.hs:13:12)
    In the second argument of ‘lookup’, namely ‘testSeq’
    In the expression: lookup 2 testSeq

我是 Haskell 的新手，非常感谢任何帮助！

Answer 1

就像 Haskell 中的几乎所有东西一样，Seq 是一个纯粹的函数式数据结构。它不像一个命令式堆栈，您可以将内容推送到其中，从而改变原始结构。相反，就像普通列表一样，您只需生成具有额外元素的新容器值，但这不会以任何方式影响旧的较短 seq。所以，你问的程序应该是

testSeq :: S.Seq Int
testSeq = S.update 2 3 $ S.empty S.|> 5 S.|> 20 S.|> 30

main :: IO ()
main = print $ S.lookup 2 testSeq

（它必须是S.lookup，或等效的S.!?。就其本身而言，lookup 是一个适用于普通列表的函数！）

请注意，这实际上并没有给您带来任何优势

testSeq = S.update 2 3 $ S.fromList [5,20,30]

事实上，列表通常比Seq快，它们只是不允许有效的随机访问。