Adept (14.12.2016 21:49 - 21:55, просмотров: 437) ответил Скрипач на А я ратую за императивную парадигму с элементами алгебры событий и реляционно-сетевой моделью данных. Но в некоторых случаях, считаю чистое функциональное программирование почти что панацеей.
+1 чистый формализЬм лишён неоднозначностей, Как пример - математические формулы/правила (ну к примеру правила приоритета вычислений). Вопросы возникают, когда пытаемся натянуть сову на глобус ограниченными средствами формализованных языков решить сложные задачи :) Так что движение в сторону усложнения, вопреки известной максиме "чем проще, - тем надёжнее" - неизбежно.
Упрощение будет на макроуровне. Внутри же язык программирования будет неимоверно сложен. Ну как пример: программа управления климатом в авто на естественном языке, могла бы выглядеть так:
"поддерживай параметры воздуха в салоне, как я установил в настройках"
И всё! что там дальше у неё внутри - никого не волнует. А можно ит ещё проще:
"сделай, чтобы в салоне было хорошо" :)) но тут уже возникают неоднозначности :)))
Как всё это запрограммировать на формализованном языке - страшно даже представить.
...делать нужно так, как нужно. А как ненужно - делать не нужно (С) Винни-Пух :)