在 Haskell 中添加列表/覆盖现有列表的功能

Question

type Dictionary = [(String, String)]

dict :: Dictionary
dict = ("Deutsch", "English"):[]

insert :: Dictionary -> (String,String) -> Dictionary
insert dict entry = dict ++ [entry]

我没有找到关于列表工作方式的一件事：是否有可能用插入中添加的条目覆盖现有的字典？或者是不是必须在下一步中，总是写出被insert放出来的list？

insert [("German", "English"), ("Hallo", "hello")] ("Versuch", "try")

到目前为止，这是我能够在不丢失先前条目的情况下向新列表中添加内容的唯一方法。但是，接下来要实现的是一个搜索命令，所以我想知道我是否也必须在搜索函数中写出来。

Answer 1

函数式编程的理念通常是您的数据是不可变的。这意味着一旦您创建了一个列表，就永远不能更改该列表。但是您可以复制该列表，对其进行修改并保留它。

所以当你有这样的列表时

test = [1,2,3]

我们可以通过在开头添加4 来修改它：

test2 = 4 : test

: 称为 cons 运算符，将一个元素放在列表的前面。请注意x:xs（与[x]++xs 相同）比xs++[x] 具有更好的性能

所以现在我们有两个绑定，一个是test 到[1,2,3]，一个是test2 到[4,1,2,3]

希望这能澄清一些事情

---

举一个完整的例子：

type Dictionary = [(String, String)]

insert :: Dictionary -> (String,String) -> Dictionary
insert dict entry = dict ++ [entry]

dict0 = [ ("Deutsch", "English") ]
dict1 = insert dict0 ("Hallo", "hello")
dict2 = insert dict1 ("Versuch", "try")

---

如果您是函数式编程的新手，我建议您阅读 Learn You a Haskell for Great Good，这是一本关于如何使用 Haskell 以及一般的函数式编程的精彩（免费）书籍。

Answer 2

做到这一点并不难

import Data.List (lookup)

insert :: Eq a => (a,b) -> [(a,b)] -> [(a,b)]
insert (a,b)  []           = [(a,b)]
insert (a,b) ((c,d):rest) = if a == c
    then (a,b) : rest
    else (c,d) : insert (a,b) rest

---

dict :: [(String, String)]
dict = [("Deutsch", "English")]

如果你不能使用Data.List，那么你可以定义lookup

lookup :: Eq a => a -> [(a,b)] -> Maybe b
lookup _  []          = Nothing
lookup k ((a,b):rest) = if k == a then Just b else lookup k rest

现在如果你加载 GHCI：

>> let dict' = insert ("Ein","One") dict
>> dict'
[("Deutsch","English"),("Ein","One")]
>> lookup "Ein" dict'
Just "One"
>> insert ("Deutsch", "Francais") dict'
[("Deutsch","Francais"),("Ein","One")]

Answer 3

如果你想用相同的键替换现有的对，那么你可以将插入写成：

insert :: Dictionary -> (String, String) -> Dictionary
insert [] p = [p]
insert ((dk, dv):ps) p@(k, v) | dk == k = p:ps
insert (p:ps) ip = p : (insert ps ip)

但是，如果您正在编写关联列表，则可以通过在列表的前面插入新项目来简化它：

insert :: Dictionary -> (String, String) -> Dictionary
insert = flip (:)

如果您随后从列表的前面搜索，它将首先找到最近添加的任何值。

Answer 4

在 Haskell 中，大多数值是不可变的，这意味着您无法更改它们的值。起初这似乎是一个巨大的限制，但实际上它更容易推理您的程序，尤其是在使用多个线程时。

您可以改为在调用insert 时返回的字典上不断调用insert，例如：

mainLoop :: Dictionary -> IO ()
mainLoop dict = do
    putStrLn "Enter the German word:"
    german <- getLine
    putStrLn "Enter the English word:
    english <- getLine
    let newDict = insert dict (german, english)
    putStrLn "Continue? (y/n)"
    yesno <- getChar
    if yesno == 'y'
        then mainLoop newDict
        else print newDict

main = do

Answer 5

人们根本无法用纯语言（ST monad 之外）“覆盖”任何内容。如果我正确理解了您的问题，那么您正在寻找这样的东西：

insert :: Dictionary -> (String,String) -> Dictionary
insert [] b = [b]  -- If this point is reached where wasn't matching key in dictionary, so we just insert a new pair
insert (h@(k, v) : t) b@(k', v')
    | k == k'   = (k, v') : t      -- We found a matching pair, so we 'update' its value
    | otherwise = h : insert t b