Scala的数据类型通用编程库

Question

我正在寻找一个允许数据类型泛型编程的Scala库（例如Scrap Your Boilerplate）。具有适当链接和每个简短描述的库列表将是一个完美的答案。

Answer 1

那么，

• Adrian Moors已重新实现Jeremy Gibbons'Origami programming：The paper。 The source

• Bruno Oliveira和Jeremy Gibbons重新实施了Hinze的 Generics for the masses ，Lämmel＆amp; Peyton-Jones' Scrap your Boilerplate with Class 和折纸编程，并编写a detailed comparison about it。 来源here。

• 当然，Scala Collections library本身很容易被看作是泛型编程的一个实例，as Martin Odersky explains，只是因为它依赖于隐含，Scala的Type Classes的味道。

Answer 2

Christian Hofer，Klaus Ostermann，Tillmann Rendel和Adriaan Moors的Polymorphic Embedding of DSLs有一些 accompanying code“非常通用”。他们引用Finally Tagless, Partially Evaluated作为一种“重要影响”，由于某种原因，本文很喜欢这篇论文......