Better safe than sorry или О иммутабельности

[metaclass]

Сегодня с утра устроили с artureg срачь на тему "почему мутабельные структуры данных это плохо".
Вообще все началось с того что он пишет некую хитрую штуку на кложури, но при этом использует ее не в идиоматическом стиле, в то с мысле, что вместо кошерных иммутабельных структур использует 100500 ref которые ссылаются на структуры внутри которых еще ref и в итоге у него это все автоматически не сериализуется в json. То есть закат солнца вручную и изготовление из кложури перла и цэ-с-крестиками и поселение там ядовитых жаб и пауков. И все это внутри Software Transactional Memory, т.е. (dosync ...)
Два дня на пару с theiced пытались ему объяснить почему ему не нужно столько ref, особенно вложенных, и как кошерно пользоваться иммутабельными структурами данных. Но артурег отнекивается, не желая менять парадигму.
Впрочем, ему там и структуры такой сложности не нужны, посколько достаточно хранить обновления для этих структур в виде списка, а текущее состояние интегрировать исходя из них.

Аналогичным образом я спорил с канадскими линуксоидами, которые обвиняли меня в том, что я, используя статически типизированные языки и иммутабельные структуры данных, возвожу защитное программирование до уровня паранойи, ограничиваю себя в возможности отстрелить себе ногу, так как не верю даже себе.
То же самое и здесь: я использую языки с иммутабельностью, потому что НЕ верю сторонним либам, которые вызываю я, не верю сторонним фреймворкам, которые вызывают мой код, и более всего я не верю самому себе, когда я пишу код, который вызывает мой собственный код, написанный 10 лет назад. Потому что я помню, что всю жизнь писал код в чаду угара, в дедлайнах, на основе отсутствующих или неполных спек и вообще наугад.
Артурег же считает, что что-то полученное из черного ящика, будет хотя бы документировано, если его нельзя менять, а то что он отдает из своего кода, он нигде больше не использует и соответственно, дальше пользователи его либ могут делать с данными что хотят. Все бы хорошо, но только иммутабельные данные, ссылочная прозрачность и персистентные структуры данных - это и есть тот же самый принцип, но возведенный на уровень теоретического обоснования и реализации в языке.

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

Comments

[falcrum.livejournal.com]

Паранойя - нашефсё!

[victor bolshakov (from livejournal.com)]

Хорошая трава. Отсыпь...

[avnik.livejournal.com]

Не, когда у всех "своя копия" жить спокойнее (ну кроме тех случаев, когда мы работает с persistent объектом)

PS Это я за ядовитых питонов скажу

[dr-hyder.livejournal.com]

Религиозные нотки detected.

[juan-gandhi.livejournal.com]

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

[plumqqz.livejournal.com]

Откажитесь от банков и автоматической телефонной связи.

[plumqqz.livejournal.com]

И вдогонку. "Срач" же вроде как мужского рода.

[denisioru.livejournal.com]

я кстати иногда подрачиваю на STM и лелею надежду что .NET framework enabled for STM все таки выйдет из инженерных проектов в релиз...

[(Anonymous)]

Ребяты, примерно треть инженеров имеет проблемы с использовние const и написания простых циклов в С. И чем больше компания тем больше там инженеров и этой трети.

[djuffin.livejournal.com]

>> а это автоматом означает иммутабельность и статические типы

Clojure?

[vit-r.livejournal.com]

Это не паранойя - это опыт.

[noop.livejournal.com]

Самая надежная и сопровождаемая программа - программа не написанная вообще )

[antontsau.livejournal.com]

а потом ребе Б удивляется "что это за каменновековые релюшки и ебонитовые панельки образца 1935 года". А это всего лишь полный аналог подобного стиля, но в хардвари. Только чугун, только провернные решения, только логика на релюшках! Никаких новомодных транзисторов внутри которых жабы и электроны, поди пойми как оно работает! вот подадут туда 800 вольт - релюшкам нихрена не будет, а транзисторы все мигом сдохнут!

[nivanych.livejournal.com]

> на кложури

Ударение на последний слог делает название изящным!

[nivanych.livejournal.com]

> не нужно столько ref, особенно вложенных

Видимо, память экономить..........

(ворчливо) ... Опять всякой фигни притащил ...

[pingback-bot.livejournal.com]

User mdajoke referenced to your post from (ворчливо) ... Опять всякой фигни притащил ... (http://mdajoke.livejournal.com/72938.html) saying: [...] (http://metaclass.livejournal.com/670899.html [...]

Про іммутабельність

[pingback-bot.livejournal.com]

User madf referenced to your post from Про іммутабельність (http://madf.livejournal.com/223848.html) saying: [...] уровня паранойи, ограничиваю себя в возможности отстрелить себе ногу, так как не верю даже себе." [...]

[sorhed.livejournal.com]

Янепонял.

antilamer же уже давно написал исчерпывающую статью про иммутабельность (на Кровавой Энтерпрайзной Джаве, чтобы уж совсем для тупых), ссылку на которую я и предлагаю давать всем заинтересованным лицам для окончательного решения вопроса.

Ну, а кто не просветился — тот сам себе злобный буратино, и ConcurrentModificationException ему в горбатую спину.

[n16bs.livejournal.com]

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

[maholet.livejournal.com]

Канадские линуксоиды - новый мем, да?

Конечно можно согласится, что это продуктивно использовать написанный в угаре 10 лет назад код, при этом заботливо окружив его try{}catch{} блоками.
Но с другой стороны, скелеты из шкафов желательно периодически вынимать и внимательно пересчитывать кости.

Я может уже изрядно подзаебал напоминанием того, что просто программист знает, что надо написать, а ХОРОШИЙ программист знает что нужно переписать.

Это как мне кажется Yet Another Good Reason (YAGR) чтобы ператрахивать свои байты.