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

Мне незнакомы люди, которые ей занимаются. Фразы из работ школы Тузова (типа "семантический анализатор текстов на русском языке аналогичен синтаксическому анализатору для языков программирования с сильно развитой системой типов значений") весьма интересны -- особенно, если: 1. понимать, чем моделирование данных и онтологизирование отличается от собственно программирования 2. понимать, почему какие-то языки с плохо определённой формальной семантикой получают широкое распространение, и только потом отдельные тусовки становятся озабочены определением их формальной семантики 3. вся дискуссия о динамических языках программирования, зависимых типах и многоуровневости и т.д. То есть всё хорошо и перспективно, но дьявол обычно в деталях, и пока мне самому там мало что понятно.