Özyineleme türünde güncelleme değeri - elm lang

Question

Çocukken başka bir metin düğümüne sahip olabilecek metin düğümleri gibi bir ağaç yapısına sahibim ve bir değeri güncellemem gerekiyor. Bu ağacın derinliklerinde bir yer olan metin düğümünü güncellemenin en kolay yolu nedir (ya da o ağacın içinde değil)?

Değişken olmayan bir dilde, sadece bu öğenin değerini değiştirirdim, ve bu kadar, ama Elm gibi değişmez bir dilde oldukça zor.

type alias Item = 
    { id: String 
    , text: String 
    , children: ChildItems 
    } 

type ChildItems = ChildItems (List Item) 

type alias Model = 
    { rootItem: Item 
    } 

updateItem: Item -> Item -> Item 
updateItem: rootItem item = 
    -- TODO 

... 

update model = 
    case msg of 
    UpdateItem item updatedText -> 
     let 
     updatedItem = { item | text = updatedText } 
     in 
     ({ model | rootItem = (updateItem model.rootItem updatedItem) }, Cmd.none) 

bu

ben

updateItem: Item.Item -> Item.Item -> Item.Item 
updateItem rootItem updatedItem = 
    if rootItem.id == updatedItem.id then 
    updatedItem 
    else 
    case rootItem.children of 
     Item.ChildItem [] -> 
     rootItem 

     Item.ChildItem children -> 
     let 
      updatedChildren = 
      case children of 
       [] -> 
       [] 

       children -> 
       List.map (\item -> 
        updateItem rootItem item) children 
     in 
      { rootItem | children = Item.ChildItem updatedChildren } 

ile geldi ama rootItem dönen yerine çünkü ben bir Maximum call stack size exceeded hatayı

Answer 1

Eğer yığın taşması alıyoruz nedenidir alıyorum Item.ChildItems [] kasasında [].

Kodunuzu biraz değiştireceğim çünkü çekebileceğimiz bazı yaygın modeller var. Öncelikle, o, bir şey her türlü uygun olabilir ki en alttaki ağaç imsi yapıyı alıp daha genel olduğunu yapalım sadece Item: Bize her zaman kök düğüm olan bir yapı kazandırıyor

type Node a 
    = Node a (List (Node a)) 

ve her biri aynı zamanda herhangi bir sayıda çocuğu olan herhangi bir sayıda çocuğa sahip olabilir.

Yapacağınız algoritmayı düşünürsek, tanıdık bir kalıbı tahmin edebiliriz. Birden fazla öğeye sahip bir yapınız var ve her öğeyi ziyaret eden ve isteğe bağlı olarak değiştiren bir algoritma istiyorsunuz. Bu çok List.map gibi geliyor.

map : (a -> b) -> Node a -> Node b 
map f (Node item children) = 
    Node (f item) (List.map (map f) children) 

: O bizim genelleştirilmiş fonksiyon map aramak için iyi bir fikirdir böyle bir ortak deyim (Not: Sadece functors tökezledi!)

Ben fikir atmış yana bizgöre şimdi

type alias Item = 
    { id: String 
    , text: String 
    } 

: Node türü içine yerleştirdi ve çocukların, böylece gibi takma Item değiştirmeniz gerekir, id belirli bir değerle eşleşiyorsa, güncelleştirebilen bir işlevi olması yararlı olacaktır.

Şimdi

updateByID : String -> (Item -> Item) -> Item -> Item 
updateByID id f item = 
    if item.id == id then 
    f item 
    else 
    item 

bir bir güncelleme gerçekleştirmek için: gelecekte, gerçekleştirmek istediğiniz daha güncelleme işlevleri olabilir bu yana, aslında gerçekleştirmek istediğiniz işlevinden ayrı arama ve kimlik eşleştirme kısmını tutmak en iyisidir öğe, ağacın herhangi bir yerinde id ile eşleşiyorsa, bunu yapabilirsiniz:

map (updateByID "someID" (\x -> { x | text = "Woohoo!" })) rootNode