tag:blogger.com,1999:blog-654279083390275842.post6248897041591987181..comments2024-03-19T12:22:43.654+03:00Comments on Размышлизмы eao197: [comp.flame] Correct by construction говорите?eao197http://www.blogger.com/profile/17283739752119445290noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-654279083390275842.post-28793862644979577682009-08-13T09:32:34.595+03:002009-08-13T09:32:34.595+03:00Отправил :)Отправил :)eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-46601682842112224722009-08-12T20:50:14.017+03:002009-08-12T20:50:14.017+03:00Запости этот щедевр на govnokod.ru, пусть люди пор...Запости этот щедевр на govnokod.ru, пусть люди порадуютя.Kodthttps://www.blogger.com/profile/12739971468788709431noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-19415941072348324232009-08-05T23:46:49.473+03:002009-08-05T23:46:49.473+03:00За последние два месяца я написал что-то в районе ...За последние два месяца я написал что-то в районе 10K строк кода на C++ для решения одной, в общем, не сильно сложной задачи. В которой используется несколько процессов, взаимодействие с несколькими БД, логирование, мониторинг, конфигурирование. Сильно сомневаюсь, что все это было бы возможно на языке, который бы заставлял доказывать что и был к тому же чистым функциональным языком. Но сделанное мной, как я надеюсь, обеспечит мне нормальное существование на какое-то время в будущем. Так что, похоже, пока я занимаюсь суровой практикой, где-то там развивают теорию в виде COQ, Guru, да и того же Haskell-я. Когда эти наработки дойдут до мейнстрима, я уже точно буду старым толстым старпером предпенсионного возраста.<br /><br />И я не верю в то, что языки типа Haskell-я будут играть в ближайшие годы хоть сколько-нибудь заметную роль. А гибриды вроде Scala/F#/OCaml не сильно далеко ушли от C++/Java. И не предполагают correction by constructions.eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-13567316753400917362009-08-05T22:43:59.085+03:002009-08-05T22:43:59.085+03:00Относительно свежая статья в тему, что называется ...Относительно свежая статья в тему, что называется - http://lambda-the-ultimate.org/node/3543<br />Рассказывает об языке Guru (http://code.google.com/p/guru-lang/), который как раз предлагает подход proven-by-construct.Didrohttps://www.blogger.com/profile/13512071514469702742noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-77010377257371992092009-08-04T11:48:45.978+03:002009-08-04T11:48:45.978+03:00Так сложность программирования состоит как раз в т...Так сложность программирования состоит как раз в том, чтобы у программиста в голове сложилась корректная модель, а затем чтобы эта корректная модель должным образом была воплощена в код. Языки и методики помогают(?) только второму. Тогда как первое гораздо сложнее и важнее.<br /><br />Поэтому во главу угла нужно ставить программиста, а не инструмент. Т.е. для решения задачи нужно сначала взять правильных людей, а потом дать им те инструменты, которые им удобны. Т.е. акцент должен быть на людях. Тогда как во всевозможных священных воинах обсуждаются только инструменты.eao197https://www.blogger.com/profile/17283739752119445290noreply@blogger.comtag:blogger.com,1999:blog-654279083390275842.post-40299087258803178052009-08-04T11:35:24.446+03:002009-08-04T11:35:24.446+03:00Ну проверить что логика нарушена машина может. Про...Ну проверить что логика нарушена машина может. Проблема в общем-то в том чтобы логику задать. Нет ничего плохого в том чтобы пытаться этот способ задания таки построить - дадут хороший инструмент.<br /><br />зы буквально вчера нечто подобное ( ошибка в алго) случайно поймал сосед в моем коде. Там проверка "нет ничего в данном окне в данном слое" была заменена на "нет ничего в данном окне", что естественно работало на тестах тк много слоев в тестах "во всех сочетаниях" не бывает.Miroslavhttps://www.blogger.com/profile/08682508835432008058noreply@blogger.com