On Vox: Маразм

[migmit]

- это когда на языке со статической типизацией пишешь DSL с динамической, после чего навешиваешь на него вывод типов по Хиндли-Милнеру, причём этот вывод типов делается с использованием чего-то, подозрительно напоминающего клеточный автомат. И ведь не обойти никак.

Originally posted on migmit.vox.com

Comments

[akuklev.livejournal.com]

Ой, а что это ты за лапочку интересную делаешь?