ИСТИНА

Зачем программистам так много языков? Поиск ответа на этот вопрос следует начинать с истории разработки ПО и появления формальных языков вообще. Существует, как минимум, две парадигмы написания исходного кода - императивная и декларативная. В первом случае разработчик последовательно записывает команды, формирующие тело программы и в дальнейшем исполняемые транслятором (а функции воспринимаются как подпрограммы), во втором - "собирает" целевую программу-функцию из более простых функций (понимаемых в теоретико-вычислительном смысле). В этом докладе мы поговорим о том, почему важно смотреть на программирование с точки зрения логики и семантического описания задач программной инженерии. Мы рассмотрим несколько популярных и не очень языков программирования и на примерах из реальной практики промышленной разработки увидим, как различные логические абстракции (такие как формальные языки и исчисления) позволяют современным программистам декомпозировать задачи и повышать качество кода.