Без заголовка

Мммм, а ты смотрел, как сделан разбор типов в сильно типизированных функциональных языках?