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作为“重要影响力”，由于某种原因，我认为这篇文章对我有用......