Здравствуйте, VladD2, Вы писали:

VD>Чушь это все. Даже сложнейшие концепции вроде зависимых типов или уникальных типов можно на пальцах объяснить за пять минут.

Вот этот куб — это и есть пальцы.

VD>И на практике в компиляторе важны не научные теории, а банально продуманный алгоритм. В итоге нам недоучкам приходится переписывать за научными деятелями алгоритмы вывода типов и построения парсеров. Ничего общего с их умными алгоритмами это не имеет, но зато работает и делает то что надо.

Вообще-то, там твой напарник выделил FSM полностью по классике. Регулярная грамматика растет только вправо за счет терминалов. Он даже реализовал т.н. расширенную нотацию регулярных грамматик, без которой выделение регулярного подмножества не было бы полным. Поэтому ты не прав, все очень даже по науке. Это не только слова.