Epigram

Такую красоту (Epigram: Practical Programming with Dependent Types) нельзя не изучить!

Пойду, куплю картриджи для цветного принтера :-)

UPD: Why Dependent Types Matter - ещё ссылочка про него.

Википедия про Epigram

Сайт языка Epigram