Хаскельное

[metaclass]

http://vit-r.livejournal.com/679524.html?thread=3691364#t3691364
решили на прошлой работе трое таки попробовать Хаскель, для неспешной задачи. генерация DDL, DML c скриптами SQL. Бились, бились, - но сделали, и был восторг! Потом, затянула обычная работа, через месяцок нужно было добавить кое-чего... и никто из троих не смог понять как оно работает, и как же добавить.

Звучит похоже на правду. Хотя у меня и F# и Clojure в подобных задачах живут и развиваются без проблем.

Comments

[vit-r.livejournal.com]

Люди в С и фокспро привыкли писать комментарии. А Хаскель - это язык, "описывающий задачу", так что подобными мелочами никто не заморачивается. К тому же никто не знает, как для него рисовать диаграммы.

[volodymir-k.livejournal.com]

насчёт рисования диаграмм в си, да хоть и фортрана -- как-то надо было мне быстро нарисовать типа блоксхемы

и встретился параметр-указатель на функцию... который берётся из разных интересных массивов, которые конфигурируются по вводу... вот как рисовать?


рисовать вызов замыкания с функциями в контексте ещё интереснее

[vit-r.livejournal.com]

Графическое представление должно отвечать на вопрос "зачем?", а не на вопрос "как?"

Как что рисовать в отдельном конкретном случае, зависит от задачи.

[dr-cha0s.livejournal.com]

А есть какие-то доказательства отсутсвия комментариев в хаскельном коде?
Такие диаграммы не подойдут? http://stackoverflow.com/questions/7427094/generate-diagrams-for-haskell-code

[vit-r.livejournal.com]

Пардон, где там диаграммы? И как это вообще соотносится с первоначальной посылкой?

Если я показываю какую-то диаграмму, то человек или видит картинку или выходит на неё по ссылке.

Добрые функциональные люди всегда уверены, что у меня дофига времени, разбираться, что они имели ввиду.

[dr-cha0s.livejournal.com]

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

[vit-r.livejournal.com]

Тааааак.

Глобокоуважаемый дон вообще представляет, что такое графическое представление программ, для чего оно нужно и когда используется?

[thesz.livejournal.com]

У меня к каждой функции высшего уровня по несколько строк комментариев. В каждом файле есть шапка с названием, назначением (одна и более строк) и копирайтом. Это нормальная практика, я ее ввел для себя после разбирательств с gcc.

Плохой код можно найти везде. Вы сравниваете код, который вы контролируете (с комментариями) и чей-то ещё. Контролируйте код на Хаскеле, все будет хорошо.

[vit-r.livejournal.com]

Я сравниваю код, который я вижу в разных проектах и от разных людей. Это раз.

Во-вторых, для тех же Си с крестами существуют методики, позволяющие гарантированно получать качественный код в промышленных мастабах. Разговоры о методиках с представителями хардкорного функционального программирования заканчиваются... хм... ну да. Попытками измерения интеллекта.

[metaclass.livejournal.com]

А что за методики? И применяет ли их кто-нибудь на практике?

[vit-r.livejournal.com]

Ответ на последний вопрос - да! Применяют. Потому что много таких мест, где, если не будут применять, им не дадут бумажку, без которой они заказ в принципе не получат.

Насчёт же первого вопроса - их дофига. Сейчас вот вижу, как люди из Simulink код генерируют. Видел разные адаптации структурных методов. Видел самодельные. Хороший стандарт о том, как можно и нельзя делать софт - это толстый том с многими сотнями правил и разъяснений. Плюс есть тулы, которые позволяют проконтролировать всё, вплоть до значений регистров на целевой платформе.

[thesz.livejournal.com]

Методики уменьшения дефектов (любого рода) не имеют отношения к языку программирования.

[vit-r.livejournal.com]

Почему?

[nivanych.livejournal.com]

Тов. Семён Пейтон-Дженс говорил как-то, что типы, это и есть UML для хаскеля! ;-)
Доля правды в этом есть.

[vit-r.livejournal.com]

Про UML есть много чего нелестного в моём журнале. Так что в этом смысле я полностью согласен.

[nivanych.livejournal.com]

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

[antilamer.livejournal.com]

Про то, что "никто" не заморачивается комментариями: это интересное заявление; какую методологию Вы бы предложили, чтобы это проверить?

[vit-r.livejournal.com]

Когда я увижу отраслевой или хотя бы внутрифирменный стандарт кодирования на Хаскеле и там будут описаны правила комментирования. (Причём, эти правила будут разумны.) Вот тогда я возьму "никто" назад.

Пока что всё проходящее мимо меня, требует вникания в хитросплетения исходного кода, вместо того, чтобы быть нормальным языком описано в комментарии.

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

[antilamer.livejournal.com]

> Когда я увижу отраслевой или хотя бы внутрифирменный стандарт
Странный критерий. Вот если thesz внедрит у себя в фирме такой стандарт, то возьмёте "никто" назад? :)

А почему не "когда я увижу проект на хаскелле с разумным количеством комментариев" ("разумным" = "не хуже, чем в среднем по индустрии в других языках")? Например, GHC или XMonad отлично прокомментированы.

[vit-r.livejournal.com]

Странный критерий.

Вполне нормальный. Позволяет отличить промышленную технологию от индивидуального творчества.

[anonim-legion.livejournal.com]

>всё проходящее мимо меня, требует вникания в хитросплетения исходного кода,

Так это в любой незамысловатой конторе так. Любое ООО "Опа говносайт" так пишет. Начинаешь им писать развернутые комментарии - оне еще и фыркать начинают "зачем так много".

Что же касается именно thesz - это человек-москвич, с московской квартирой, который достиг дзена и самодостаточности. Участвовать в кодерских крысиных гонках и писать "чтоб вчера работало" ему нет нужды. Именно поэтому кстати функциональщики и не понимают нужд простых IT-рабов, они немножко по другому живут.

Я же лично считаю, что исчезни сейчас большая часть IT-рабов - ничего особо не поменяется. Ну некоторые погонщики огорчатся - производить фуфло за деньги станет некому, горе-то какое.

[berezovsky.livejournal.com]

То есть если человек знаком с ФП, он достоин квартиры, а если нет - ему место где-нибудь на помойке или в бомжатнике?

[rdia.livejournal.com]

> и там будут описаны правила комментирования.

doxygen не подходит? Или вы хотите что-то серьёзнее?

[kurilka.livejournal.com]

Де-факто стандартом является
https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md

[geniepro.livejournal.com]

http://snapframework.com/docs/style-guide

весьма известный style-guide для хаскелла