Değişken bir AST'yi güncellemenin en kolay yolu nedir?

Question

Makrolarla çalışırken, belirli koşullara sahip AST'deki düğümleri güncellemem gereken noktaya (bunu önlemek için çok uğraştım) ulaştım. değeriyle

Literal(Constant(1)) 

: Örneğin, en Her düğüm güncellemek istiyorum diyelim

Literal(Constant(2)) 

olanlar AST düğümleri ifade ağacında her yerde olabilir, bu yüzden bir reklam-hoc kullanamazsınız desen eşleştiricisi. Açıkçası, yapmak istediğim en son şey, tüm derleyici ilkellerini kapsayabilen tam bir desen eşleştiricisini kodlamak. API'da arama yaptım ama ve dönüşümlü ailesi gibi yöntemlerin gereksinimlerimi karşılayacak kadar iyi olmadığına dair izlenime sahibim, çünkü ağacı doğrusal bir şey olarak kabul ediyorlar ve tümünün güncellenmesini istiyorum sonuç olarak ağaç. Yani, değişmez bir ifade ağacını akıllı bir şekilde güncellemek mümkün mü? Standart API'da neden böyle bir 'güncelleme' işlemi yok? Veri yapıları poli yazılan düğümleri değiştirme

Answer 1

birkaç vardır: eklentileri için

https://github.com/retronym/macrocosm/blob/171be7e/src/main/scala/com/github/retronym/macrocosm/Macrocosm.scala#L129

Answer 2

genel olarak veri türü jenerik (tip kurucu ile kod parametrizasyonu) klasik bir durumdur.

çeşitli yaklaşımlar veri türü genel geçişi fonksiyonlarını tanımlayan örneğin "Scrap Your Boilerplate" yaklaşımı gibi işlemler, ana kadar.

Haskell'de

, düğüm güncelleme fonksiyonu iki boyutta parametreleştirilmiştir: veri türü ve kodla - her yerde bir yapıda, farklı türlerine farklı güncelleme fonksiyonlarını uygulayabilir böylece:

-- | Apply a transformation everywhere in bottom-up manner 
everywhere :: (forall a. Data a => a -> a) 
      -> (forall a. Data a => a -> a) 

yüzden de yapmak Haskell, büyük ölçüde tip sınıflarına dayanır. Scala yılında Burada Scala makro AST trafosu kullanılarak bir örnek ported examples