Функции против процедур

[Сергей Прохоренко]

Гхм. ООП в true oberon'e - с нефиговым таким недостатком. По степени возможных граблей может поспорить с жабаскриптом Да, и оно точно так же "не работает" с идеей pure функций.

Во всех нынешних языках ООП страдает какими-нибудь пороками. Не хватает фундаментальности в анализе ООП, а поэтому реализация оказывается такой уродливой. Надо думать, что делать.

[valexey]

Гхм. ООП в true oberon'e - с нефиговым таким недостатком. По степени возможных граблей может поспорить с жабаскриптом Да, и оно точно так же "не работает" с идеей pure функций.

Во всех нынешних языках ООП страдает какими-нибудь пороками. Не хватает фундаментальности в анализе ООП, а поэтому реализация оказывается такой уродливой. Надо думать, что делать.

Гм. А какими пороками страдает ООП в ObjC, Smalltalk'e, StrongTalk'e ну и в erlang'e наконец? Ну и, до кучи, в Eiffel'e.

[DIzer]

Там идет разработка как раз сверху вниз. С постепенным уточнением деталей. На языках типа оберона, явы. ады и так далее, так не получится. До хаскеля я думал что владею техникой построения системы сверху вниз, познакомившись с ним я понял, что все что я делал это жалкая породия на то как это должно быть на самом деле.

А вот теперь меня заинтриговали - я тоже считаю что владею этой техникой....    в чем разница реализации этой техники на Хаскеле (от Оберона)?
2Geniepro - Учитесь пиарить ЯП!!!    - Это действительно может быть веской причиной для перехода на Хаскель- если это дейвтвительно так...

[Geniepro]

2Geniepro - Учитесь пиарить ЯП!!!    - Это действительно может быть веской причиной для перехода на Хаскель- если это дейвтвительно так...

Ненене, я послушный мальчик!
Партия сказала "Avoid success at all costs!" -- я отвечаю "Ok!"

[Geniepro]

Нужно конкретно предметно смотреть какие именно возможности не пошли и что это были за возможности такие. Иначе имеем ситуацию не много лучше чем "одна бабка сказала".

Потому как в промышленности тот же SPARK например востребован. И в отличае от Sig# он уже в боингах.

Верно, кто знает, не вышло ли у них как с транзакционной памятью -- в Хаскелле супер, а в дотнете провал полный, ибо сплошная мутабельность везде...

[DIzer]

2Geniepro - Учитесь пиарить ЯП!!!    - Это действительно может быть веской причиной для перехода на Хаскель- если это дейвтвительно так...

Ненене, я послушный мальчик!
Партия сказала "Avoid success at all costs!" -- я отвечаю "Ok!"

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

[Geniepro]

А... так вы из хэтого принципа рекламировали уродства...

о_О Это какие, интересно? Приведите примеры уродств, а то я что-то не догоняю...

хитрый ход, однако,  я уж думал что вы убежденный мазохист- и делаете это что бы получить очередной пистон от oberoncor'ных....

Оберонщики делятся на две категории -- на оберонщиков (Р. Богатырёв, А. Ильин -- вполне вменяемые и адекватные люди) и на блэкбоксёров (которых прокомментировать я могу только матом).
Но ничего, у блекбоксёров руки коротки, здесь им меня не достать...

[DIzer]

о_О Это какие, интересно? Приведите примеры уродств, а то я что-то не догоняю...

Все просто, как два пальца... - то что не обьеденяет нас , то  - разъединяет (а степень и форма выражения последнего зависит от многих вещей - культура, образованность...- они формируют реакцию - то что одному -шедевр, второму -уродство, третий просто не воспринимает , а у четвертого   может вызвать ПРАВЕДНЫЙ ГНЕВ   )

Оберонщики делятся на две категории -- на оберонщиков (Р. Богатырёв, А. Ильин -- вполне вменяемые и адекватные люди) и на блэкбоксёров (которых прокомментировать я могу только матом).
Но ничего, у блекбоксёров руки коротки, здесь им меня не достать...
 

Ну ну, земля не столь велика и, вдобавок, достаточно круглая (а правильному  фанатику ,как известно,- и море по колено... так что я бы не зарекался).  

[DIzer]

Извините,  не хотелось бы обвинять вас в расовой нетерпимости....но если бы они были whiteboxer'ами - вы бы к ним были более терпимы? 

[valexey]

А вот теперь меня заинтриговали - я тоже считаю что владею этой техникой....    в чем разница реализации этой техники на Хаскеле (от Оберона)?
2Geniepro - Учитесь пиарить ЯП!!!    - Это действительно может быть веской причиной для перехода на Хаскель- если это дейвтвительно так...

Разниц в том, что в хаскеле у нас типы уточняются постепенно без переписывания оных типов. При этом на каждом этапе мы имеем компилируемую программу. Я тут пока совсем не мастер, и лучше чем Дмитрий Астапов не напишу, поэтому наверно лучше прочесть вот эту статью из журнала Практика ФП: http://fprog.ru/2009/issue1/dmitry-astapov-checkers/ . Меня помнится впечатлило. А потом он продемонстрировал мне эту технику в онлайне решив поставленную мною задачу (для демонстрации был использован etherpad), что впечатлило еще больше.

[valexey]

Да, я пробовал в таком стиле писать на Ocaml'e и F#, у меня не получилось. Поэтому, с некоторым сожалением, я оставил Ocaml.

[Geniepro]

Извините,  не хотелось бы обвинять вас в расовой нетерпимости....но если бы они были whiteboxer'ами - вы бы к ним были более терпимы? 

Если бы они вели себя так же -- то нет, конечно.

[DIzer]

лучше чем Дмитрий Астапов не напишу, поэтому наверно лучше прочесть вот эту статью из журнала Практика ФП: http://fprog.ru/2009/issue1/dmitry-astapov-checkers/ . Меня помнится впечатлило.

А вот это  печально, в статье нечетко выделены сущности с которыми он работает (на мой взгляд) - т.е. через чур много работы для анализа (и синтаксис непривычный, и сущности его (Дмитрия Астапова) анализировать, и соотносить со своим опытом, короче удовольствие еще то  \ ).

[Geniepro]

через чур много работы для анализа (и синтаксис непривычный, и сущности его (Дмитрия Астапова) анализировать, и соотносить со своим опытом, короче удовольствие еще то  \ ).

Без труда не выловишь и рыбку из пруда...

[DIzer]

через чур много работы для анализа (и синтаксис непривычный, и сущности его (Дмитрия Астапова) анализировать, и соотносить со своим опытом, короче удовольствие еще то  \ ).

Без труда не выловишь и рыбку из пруда...

Согласен,  конечно - но тут еще мотивация должна быть на высоте. Просто, когда ЗНАЕШЬ, что в такого рода задачах, ГЛАВНОЕ -умение АБСТРАГИРОВАТЬ и АЛГОРИТМИЗИРОВАТЬ, а от ЯП требуется, чтобы он если не способствовал то не мешал - роль вторичная... То... от впопуляризирующей статьи, хотелось бы -в первую очередь, снижение порога вхождения в "тему".