Про ёжика в тумане, зазнайство, языки программирования и вериги

[vit_r]

Монадоидизм

Монадоидизм - это религиозное учение двадцать первого века, распространённое среди работников информационных технологий, считающих себя приближённым к математике, но не владеющих статистикой. Основано на проповедовании существования Монады, непознаваемой духовно-виртуальной сущности математической природы и, видимо, женского рода. По мнению приверженцев учения М. обладает магическими свойствами. Среди основных - создаёт качество, удаляет ошибки, ускоряет разработку, удешевляет изменения, изымает из окружения людей с низким IQ... (Последнее не относится к менеджменту, см. Agile)

Основные духовные практики приверженцев монадоидизма: создавать М. из всего, находить М. во всём, убеждать непосвящённых, что М. существуют и обладают магическими свойствами, объяснять друг другу, почему непосвящённые не могут осознать М., и спорить между собой, кто правильнее осознал М., а кто только делает вид и баламутит народ.

Приверженцев монадоидизма можно разделить на две основные категории. Гностики утверждают, что правильного осознания М. можно достигнуть через изучение духовной литературы (см. Теория Категорий). Фарисеи пытаются достигнуть осознания М. через духовные практики (см. Функциональное Программирование).

Гностики считают, что фарисеи слишком тупы, чтобы понять сущность М.. Фарисеи пытаются доказать, что гностики просто скрывают сущность М. за заумными лингвистическими построениями. Так как М. является непознаваемой сущностью, споры эти носят чисто развлекательно-схоластический характер.

В междоусобных религиозных войнах приверженцы Монадоидизма не замечены. Вербовка новых адептов учения идёт тоже достаточно вяло. Что не удивительно, ибо как гностики, так и фарисеи находят основное удовлетворение в гармоничном обладании сакральным знанием, которое при взаимодействии с реальным миром может быть нарушено. (См. Ниравана)

Comments

[juan_gandhi]

Забавно.

Вы действительно не понимаете, что за монада такая? А с моноидами знакомы? А с группами?

[vit_r]

При чём тут "действительно"? Это же не статья в википедию.

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

[juan_gandhi]

Окей, красиво. Разве что ужасно не ново. Всю жизнь вот такую шнягу встречаю. "А давайте не будем ничему учиться, мы же уже умные и крутые."

[vit_r]

Это просто наблюдение, так что новое и не предполагается. А переход от текста не в теорию категорий, а к Демингу у которого сейчас читаю "Out of the Crisis".

[chaource]

Наши святыя книги противу вашихъ толще будутъ и вѣра у насъ полнѣе! У насъ и гроботочивыя иконы фильтрованныя монады-плюсъ, и свободные аппликативные функторы, а у нихъ нѣту ничего, окромя модулей, которые - тьфу! - одновременно открыты и закрыты.
https://ru.wikisource.org/wiki/%D0%A1%D1%82%D1%80%D0%B0%D0%BD%D0%B8%D1%86%D0%B0:%D0%9F%D0%BE%D0%BB%D0%BD%D0%BE%D0%B5_%D1%81%D0%BE%D0%B1%D1%80%D0%B0%D0%BD%D0%B8%D0%B5_%D1%81%D0%BE%D1%87%D0%B8%D0%BD%D0%B5%D0%BD%D0%B8%D0%B9_%D0%9D._%D0%A1._%D0%9B%D0%B5%D1%81%D0%BA%D0%BE%D0%B2%D0%B0._%D0%A2._4_(1902).pdf/133

https://en.wikipedia.org/wiki/Open%E2%80%93closed_principle

[vit_r]

У меня сильные подозрения, что Meyer больше навредил, чем развил что-то полезное.

[chaource]

А кто развилъ полезное? Какiя книги Вы можете посовѣтовать по поводу архитектуры софта?

[vit_r]

Фиг знает. Похоже, во всех, где есть хорошие идеи, они соседствуют со странными заблуждениями. Хоть сам пиши. Только, тоже непонятно, как и про что.

[anonim_legion]

Чего вы ведётесь.

[vit_r]

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

[xoxlobandera]

Бггг!

[thedeemon]

:)

[chaource]

Вотъ онъ я, вотъ онъ, я - истовый монадопоклонникъ! А попробуйте-ка ущемить мой моноидъ въ категорiи эндофункторовъ - сразу поймете, что не на ту кузькину мать напали! Дешевле будетъ свободный функторъ черезъ святую Йонеду Чёрчемъ закодировать, чѣмъ законъ ассоцiативности нарушить.

Я не совсѣмъ гностикъ - теорiю категорiй изучаю и чту, но не считаю единственнымъ источникомъ Великой Истины. Такъ же и практику ФП не считаю единственнымъ источникомъ. Сопрягать нужно источники, медитировать по строгимъ типамъ, тогда и придетъ монадопознанiе. И догма важна (теорiя функторовъ, монадъ и т.д.), и ритуалы (т.е. особые design patterns ФП).

Но, кстати, тутъ нѣкая загвоздка - статистику я понимаю, какъ я есть бывшiй теорфизикъ. При чемъ тутъ статистика? Почему монадопоклонники - это тѣ, кто не понимаетъ статистики?

[vit_r]

Я думал написать про связь теории и практики, но решил не усложнять.

Про статистику разговор долгий, так что когда-нибудь в другой раз.

[izard]

ROFL - особенно от "изымает из окружения людей с низким IQ... (Последнее не относится к менеджменту, см. Agile)". И про гностиков и фарисеев - здорово!

[veremeenko-alex.livejournal.com]

:)

[budda]

Монадаизм - это искусство объяснять простые вещи сложным языком.

[vit_r]

Так в среде адептов постоянные споры о том, что простые объяснения не правильны.

[chaource]

Природа монады такова, что ни одно простое объясненiе не можетъ быть ни правильнымъ, ни полнымъ. Но, можно начать съ простыхъ примѣровъ и постепенно переходить къ болѣе отвлеченнымъ и сложнымъ. Технику символическихъ типизированныхъ вычисленiй (т.е. вычисленiй на бумагѣ, передъ написанiемъ кода) надо тоже наращивать, большинству программистовъ это не по силамъ.

[veremeenko-alex.livejournal.com]

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

[chaource]

Эхъ, если бы это такъ и было - никто и не заморачивался бы. Каждую спецiализированную монаду (Reader, State, Writer, IO, Cont, Either, List, Tree, Search) отдѣльно бы использовали и все. Однако, есть конструкцiи, дѣлающiя монаду изъ произвольнаго функтора (монада, свободно порожденная изъ функтора), а также комбинирующiя двѣ монады въ новую, болѣе сложную монаду.

Особенно полезна свободная монада, и для каждой программы можетъ быть своя, новая свободная монада, представляющая всѣ операцiи для данной программы. Понять, какъ работаетъ свободная монада, и какъ потомъ правильно преобразовать ее въ конкретную монаду типа IO, безъ теорiи нельзя. А если написать преобразованiе неправильно, нарушивъ законы монады, то въ программѣ появятся баги, которые будетъ очень трудно исправить. (Т.е. непознанная сакральная сущность монады накажетъ программиста вполнѣ конкретно.)

Это какъ радiоинженеръ, который долженъ понимать (скажемъ) преобразованiе Фурье на какомъ-то достаточномъ для приложенiй уровнѣ. Для непосвященныхъ, преобразованiе Фурье (ПФ) - сакральное знанiе, недоступное и непознаваемое. "Адепты спорятъ, кто изъ нихъ болѣе правильно осозналъ ПФ, и объясняютъ другъ другу, что непосвященные не могутъ правильно осознать ПФ."