Я ищу библиотеку Scala, допуская универсальное типом данных программирование (как Фрагмент Ваш Шаблон, например). Список библиотек с соответствующими ссылками и краткими описаниями для каждого был бы идеальным ответом.
Ну,
Адриан Мурс заново реализовал Джереми Гиббонса ' Оригами программирование : бумага . Источник .
Бруно Оливейра и Джереми Гиббонс повторно реализовали Hinze Generics для масс , Lämmel и Peyton-Jones ' Избавьтесь от своего шаблона с помощью Class и Origami Programming и написав подробное сравнение по этому поводу . Источник здесь .
Естественно, сама библиотека Scala Collections может легко рассматриваться как пример общего программирования , как объясняет Мартин Одерски , хотя бы из-за ее зависимости от имплицитов, разновидности Scala как Классы типов .
В работе Polymorphic Embedding of DSLs Кристиана Хофера, Клауса Остермана, Тильмана Рендела и Адриана Морса есть сопровождающий код, который является "очень общим". Они ссылаются на Finally Tagless, Partially Evaluated как на "важное влияние", что почему-то привязывает меня к этой статье...