Функциональность добавления в списки в Haskell/перезаписи существующего списка

Question

type Dictionary = [(String, String)] 

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

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

Одна вещь, которую я не нашел о том, как списки работы: Является ли это как-то можно переписать существующий Dict с записью добавленной вставки? Или необходимо, чтобы на следующем этапе всегда выписывать список, который был вынут вставкой?

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

До сих пор это единственный способ, которым я был в состоянии что-то добавить в новый список, не теряя при этом предыдущую запись. Тем не менее, следующий в списке вещей для реализации - команда поиска, поэтому я задаюсь вопросом, должен ли я также записать это в функции поиска.

Answer 1

Идея функционального программирования заключается в том, что ваши данные неизменяемы. Это означает, что после создания списка вы никогда не сможете изменить этот список. Но вы можете скопировать этот список, внести изменения в него и сохранить это.

Так что, когда у вас есть список, как так

test = [1,2,3] 

Мы можем изменить это путем добавления 4 к началу:

test2 = 4 : test 

: называется оператор минусам, помещает элемент перед список.Обратите внимание, что 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 монады). Если я правильно понял ваш вопрос, вы ищете что-то вроде этого:

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