Agda. The language of the distant but imminent future.

[juan_gandhi]

Larry Diehl's yesterday slides

So, the language where type-dependence reaches the ultimate, where intuitionistic logic is just another way to express things. It was absolutely amazing.

Comments

[itman.livejournal.com]

Да конечно. У нас тут в прошлом году ушел успешный программист. Оставил нам свой язык программирования для реализации схем трансляции запроса. Радуемся мы этому языку практически беспрестанно!