haskell - リストから要素を取り出して要素を返し、リストの残りをタプルに返す効率的な方法は何ですか?

Question

これは非常に一般的な操作のようですが、何らかの理由で hoogle で見つけることができません。いずれにせよ、これは興味深い思考練習です。私の素朴な実装:

pluckL :: [a] -> Int -> Maybe ( a, [a] )
pluckL xs idx = if idx < length xs then Just $ pluck' xs idx else Nothing
where
    pluck' l n = let subl = drop n l in ( head subl, rest l n ++ tail subl )
    rest   l n = reverse $ drop ( length l - n ) $ reverse l

私の主な不満は、リストを何度もめくっていることです。そのため、リストを 1 回トラバースしてタプルを生成できる創造的な方法を探しています。

Answer 1

効率的な方法は決してありません。しかし、少なくともきれいな方法がある可能性があります:

pluckL xs i = case splitAt i xs of
    (b, v:e) -> Just (v, b ++ e)
    _ -> Nothing

Answer 2

reverseアキュムレータを使用すると、リストの操作を 1 つ少なくするだけで済みます。

pluckL :: [a] -> Int -> Maybe (a, [a])
pluckL xs idx = pluck xs idx [] where
    pluck (x:xs) 0 acc = Just $ ( x, (reverse acc) ++ xs )
    pluck (x:xs) i acc = pluck xs (i-1) (x:acc)
    pluck [] i acc = Nothing

Answer 3

elemを使用して elem がリストにあるかどうかを確認し、結果に応じて Nothing を返すか、delete xを使用してリストから x を削除します。たとえば、次のようになります。

pluckL :: Eq a => [a] -> a -> Maybe (a, [a]) 
pluckL xs0 x =  
    if (x `elem` xs0) 
    then Just (x, xs) 
    else Nothing
        where xs = delete x xs0