On Vox: Маразм

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

Originally posted on migmit.vox.com