DRAKON.SU
https://forum.drakon.su/

Пробуем переписать текстом и сравниваем
https://forum.drakon.su/viewtopic.php?f=178&t=1899
Страница 3 из 5

Автор:  Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 19:02 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Есть такая забава - Code wars или как она там правильно называется :)
Вот здесь стиль "Скульптор" имеет право на существование. Как искусство.
Вот бы ещё суметь избавиться от него на производстве! :D

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 19:04 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Геннадий Тышов писал(а):
Об отказе что то предоставить, не было речи.


Так Вы и не сможете предоставить. Доказательство правильности программы. В том виде, как Вы её предлагаете писать. Например, разодрав единое условие цикла по отдельным if-break. Не говорю уж о том, что инвариант цикла там и не ночует при таком его (цикла) составлении (ибо когда цикл строится из инварианта, то break просто не может возникнуть).

Цитата:
Жизнь такая многообразная в своем проявлении, и вряд ли, кто имеет право сократить многообразие.


При чём тут жизнь и её многообразие. Речь идёт о весьма примитивной деятельности - построении программы на алгоритмическом уровне. Не может там быть никакого многообразия - всех научить в школе циклы строить - и навсегда забыть об ошибках в них.

Дома вполне себе строят из блоков (хоть кирпичей, хоть панелей) одинакового размера, и никто не предлагает их из навоза лепить. (Хату на Украине - сколько угодно; но придите с таким предложением к заказчику небоскрёба).

Автор:  ==== [ Воскресенье, 27 Сентябрь, 2009 19:09 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Подождем Tombu, что он скажет?

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 19:09 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Цитата:
Жизнь такая многообразная в своем проявлении, и вряд ли, кто имеет право сократить многообразие.


Кстати, такое понятие, как ГОСТ, Вам знакомо? Чрезвычайно сокращает многообразие инженерной фантазии. Поэтому всё, что нас окружает, не падает нам на голову; а стоит, висит через реку, летает и т.п.

Геннадий, такое ощущение, что у Вас гуманитарное образование, честное слово. (Не в плане претензий к гуманитарности; а в плане какой-то шокирующей наивности в законах инженерной деятельности).

Автор:  Vlad [ Воскресенье, 27 Сентябрь, 2009 19:16 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Илья Ермаков писал(а):
Затем в третьем классе детям объясняют понятие неизвестной величины, простейшие уравнения - и способ их решения. После чего всё те же задачи решаются быстро, просто и стандартно. Однако первую неделю, конечно, у детей имеет место быть ощущение "интеллектуального терроризма" - какие то X и Y, когда можно просто подумать же ж...


Все ваши красивые аналогии и предсказания безошибочности "программ по Дейкстре" разбиваются о практику, которая показывает, что в программах на обероне тоже есть баги :)

P.S. А "ответственность за ошибки", как я уже говорил, не приведет ни к чему, кроме большей стоимости ПО.

Автор:  Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 19:30 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Vlad писал(а):
А "ответственность за ошибки", как я уже говорил, не приведет ни к чему, кроме большей стоимости ПО.
Я вообще так полагаю, что ответственность может быть принудительно обеспечена разве что постфактум...
А доказать заказчику правильность... Да заказчик сам не знает обычно, что ему нужно, какое тут доказательство... Он пойдёт и купит, где дешевле... как покупают сегодня серые телефоны без гарантии...

Автор:  dvuugl [ Воскресенье, 27 Сентябрь, 2009 20:40 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Алгебра программирования? Дай то бог. Но даже если она будет создана, то от ошибок не избавит, как не избавляют прекрасно усвоенные и вызубренные формулы алгебры обычной. И тем более не сделают математика из расчётчика. Она будет только ещё одним из инструментов, более или менее мощным, но по-прежнему всё будет зависеть от "скульптора". Много что сокращает многообразие инженерной фантазии, но реальный результат в инженерии недостижим без оной. Автор единственного пока реально работающего дракон-редактора мне кажется слегка приоткрыл свою "творческую кухню", а такие вещи не бывают безупречными формально, это слишком живое.

Автор:  Geniepro [ Воскресенье, 27 Сентябрь, 2009 20:50 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

dvuugl писал(а):
Алгебра программирования? Дай то бог. Но даже если она будет создана ...
Ну вообще-то она уже создана:
http://www.amazon.com/Algebra-Programmi ... 013507245X

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 20:52 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

2 Vlad, Alexey_Donskoy, dvuugl:

Возражения, вполне уместные "вообще", неуместны в подобных обсуждениях. Если речь идёт о проблеме незнания/невладения неким базовым, азбучным методом, то рассуждения о границах его применимости, о том, что нужно знать кроме него ещё много чего - и т.п. - совершенно излишни. Зато для незнающих, услышавших это, всегда приятно этим оправдаться ("вот видите...") и идти не-знать дальше.

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 20:58 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Vlad писал(а):
Все ваши красивые аналогии и предсказания безошибочности "программ по Дейкстре" разбиваются о практику, которая показывает, что в программах на обероне тоже есть баги :)


Сразу куча искажений. В частности, "доказательство правильности построения" переврано в "предсказание безошибочности". Не стыдно? :)

Речь идёт о применении методов, которые гарантируют, что всё возможное для обеспечения правильности сделано. Что человек понимает, что он строит. Что он изучил свойства строимого.

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 21:00 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

А касательно ответственности за ошибки - я уже говорил, что тоже паршиво представляю, как бы это могло работать.

Но зато как здорово, что появился аргумент для наставлений пацанью. Что их может ждать уже не такая безответственная профессия, о какой они думают :)

Автор:  dvuugl [ Воскресенье, 27 Сентябрь, 2009 21:12 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Илья, Вы слишком беспощадны к скромным практикам :) Раз у человека есть результат, то уж какая-то азбука у него всё-же есть. И не его вина что передний край теории, которые для Вас азбука, не изложен ещё "в доступной плоской форме" :)

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 22:05 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Паазвольте-паазвольте, это "скромные практики" обычно слишком "беспощадны" в своих суждениях.

Автор:  ==== [ Воскресенье, 27 Сентябрь, 2009 22:11 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Взять глыбу мрамора и отсечь от нее все лишнее

Ответ великого французского скульптора Огюста Родена (1840—1917) на вопрос одного из своих учеников, в чем, собственно, состоит искусство скульптора.

отсюда

Умение отсекать лишнее – это искусство.
отсюда

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 22:18 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Да, давайте ещё по-любительски обсудим вопросы искусств.

А Вы представляете, сколько лет учится любой художник или музыкант технике своей деятельности?
Чтобы заниматься творчеством, надо сначала овладеть виртуозно теми операциями, которыми будет порождаться произведение. И учатся этому много лет. И только потом хорошо говорить "я просто отсекаю лишнее". Когда любая твоя творческая мысль мгновенно и безупречно отображается в серию нужных рутинных действий над произведением.

ИТ-шники же, ничтоже сумняшеся, любят порассуждать о творчестве. Однако всё у них как-то в духе Малевича выходит. Потому что учиться лень, всё ж и так могут. Ну прямо как мазила в стиле постмодерна, выгнанный из художки.

Автор:  ==== [ Воскресенье, 27 Сентябрь, 2009 22:23 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Илья Ермаков писал(а):
А Вы представляете, сколько лет учится любой художник или музыкант технике своей деятельности?

Мне 63 года, и я непрерывно учился технике своей деятельности

Автор:  Илья Ермаков [ Воскресенье, 27 Сентябрь, 2009 22:28 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Уважаемый Геннадий, я не вправе судить о Вашей технике и Вашей деятельности.

Я строю обсуждение в рамках тех тезисов, которые Вы конкретно публикуете.

Автор:  ==== [ Воскресенье, 27 Сентябрь, 2009 22:31 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Глядя в Ваш профиль, вижу что читал Дейкстру тогда, когда Вы не родились

Автор:  Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 22:33 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Геннадий Тышов писал(а):
Мне 63 года, и я непрерывно учился технике своей деятельности
Геннадий, мне всего лишь 44 года, и я, к величайшему сожалению, никогда не учился ни технике живописи, ни стихосложения, ни даже программирования... Повторяю, к величайшему сожалению... Потому что всё это время мне некогда было учиться даже самостоятельно, ждала на всех фронтах творческая работа... которая заключалась в изобретении кучи велосипедов.

И теперь уже как-то не с руки тратить время на изобретение очередных велосипедов. Надо бы поучиться и поработать потом как следует, производительно, а не так - осколки вправо-влево!

Автор:  Alexey_Donskoy [ Воскресенье, 27 Сентябрь, 2009 22:42 ]
Заголовок сообщения:  Re: Пробуем переписать текстом и сравниваем

Кстати же, только что видел тут Галкова... Ну где ж скриншот обсуждаемой задачи в Хиасме - ведь и правда интересно же!

Страница 3 из 5 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/