October 1st, 2009

with Cat The Cat

Две ссылки на статьи с ICFP'09.

Атрибутные грамматики, встроенные в Haskell. Это продолжение темы UU_AG, в которых всё делалось препроцессором.

На UU_AG была сделана система проверки типов для Helium, по-моему. По крайней мере, пример с выводом типов у них в статьях встречался.

И совершеннейшая жесть: гарантированно правильный FRP на Agda. ;)