在Haskell中使用Data.Sequence_Haskell

在Haskell中使用Data.Sequence

haskell

在Haskell中使用Data.Sequence,haskell,Haskell,我写了一个程序，结果证明使用列表太慢了，所以我尝试切换到序列。但是，在查看文档后，我似乎无法找出正确的语法到目前为止，我正在尝试使用以下简单代码学习： import Control.Monad import qualified Data.Sequence as S main :: IO () main = do let testSeq = S.empty testSeq S.|> 5 testSeq S.|> 20 tes

我写了一个程序，结果证明使用列表太慢了，所以我尝试切换到序列。但是，在查看文档后，我似乎无法找出正确的语法

到目前为止，我正在尝试使用以下简单代码学习：

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的新成员，因此非常感谢您的帮助

与Haskell中的几乎所有内容一样，

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.！？

。它本身就是一个在普通列表上工作的函数！）

请注意，这并没有给你带来任何优势

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

事实上，列表通常比

Seq

快，它们只是不允许有效的随机访问。