-
- +1 чистый формализЬм лишён неоднозначностей, Как пример - математические формулы/правила (ну к примеру правила приоритета вычислений). Вопросы возникают, когда пытаемся
натянуть сову на глобусограниченными средствами формализованных языков Adept(659 знак., 14.12.2016 21:49 - 21:55)- Самообман. То что вы написали на "естественном языке", на строго императивном - короче и понятнее на три порядка (в тысячу раз) Скрипач(19 знак., 14.12.2016 22:01)
- ну да, только за "run()" кроется немало человекочасов Вашей работы, у в моей
утопииидее всё это должен сгенерить транслятор, исходя из исходных данных (настройка проекта) и программы-описания требуемого конечного функционала - Adept(14.12.2016 22:05)- "...тогда компьютер должен понять" (тм) - Скрипач(14.12.2016 22:09)
- ну да, только за "run()" кроется немало человекочасов Вашей работы, у в моей
- Самообман. То что вы написали на "естественном языке", на строго императивном - короче и понятнее на три порядка (в тысячу раз) Скрипач(19 знак., 14.12.2016 22:01)
- ну да, ну да... всё это крайне любопытно, однако дальше
онанизмаразмышлизма пока не двинется, ибо технологии пока не готовы. Ну и-таки да, порой написать программу в десяток строк на формальном языке гораздо проще и короче, чем Adept(580 знак., 14.12.2016 21:45)
- +1 чистый формализЬм лишён неоднозначностей, Как пример - математические формулы/правила (ну к примеру правила приоритета вычислений). Вопросы возникают, когда пытаемся