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