Scala的數據類型泛型編程庫

Question

我正在尋找一個允許數據類型泛型編程的Scala庫（例如Scrap Your Boilerplate）。對於每一個圖書館都有適當的鏈接和簡短的描述是一個完美的答案。

Answer 1

好，

• Adrian Moors已重新實現Jeremy Gibbons'Origamiprogramming：The paper。 The source。

• Bruno Oliveira和傑里米·吉本斯已經重新實現Hinze的Generics for the masses，Lämmel & Peyton-Jones「Scrap your Boilerplate with Class和摺紙編程，並寫入a detailed comparison about it。 來源here。

• 當然，Scala Collections library本身很容易被看作是通用編程，as Martin Odersky explains的實例，如果只是其對implicits依賴的Type Classes Scala的味道的感覺。

Answer 2

基督教霍費爾，克勞斯·奧斯特曼，Tillmann Rendel和阿德里安·摩爾的Polymorphic Embedding of DSLs有一些 accompanying code這是「非常普通」。他們引用Finally Tagless, Partially Evaluated作爲「重要影響力」，由於某種原因，我認爲這篇文章對我有用......