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

我的主要提示是我翻转列表的次数太多，所以我正在寻找一种创造性的方法，您可以遍历列表一次并生成元组。

Answer 1

永远不会有有效的方法。但至少可以有一个漂亮的方法:

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