metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2012-07-15 04:56 pm
Entry tags:

О допустимой сложности

Очередной раз уткнулся на работе в безумие.
Безумие заключается в том, что теоретически правильные методики работы приводят к разрастанию непонятного кода.
Теоретическая правильность заключается в DRY. Т.е. куски кода и данных, являющиеся отражением одних и тех же сущностей или потоков данных предметной области выносятся в отдельные модули, обобщаются, делаются универсальными и прочее.
Причем тут именно что не натягивание совы на глобус, когда "похожие" функции и данные насильственно обобщаются, а только те, где написание двух раздельных заведомо приведет к необходимости синхронной правки двух и более разных мест кода.

А возникающая непонятность - это то, что в результате один конечный результат работы зависит от десятков модулей, в каждом из которых функции высшего порядка посылают другие функции третим функциям, возвращающим функции, которые обрабатывают списки функций.
Это условно говоря, на практике там ничего сложнее "передать функцию-конвертор и параметры в обобщенную функцию и получить результат" нету. В паре мест есть reduce внутри reduce для сложной группировки, все это занимает 10-20 строк кода и спокойно целиком вмещается на экран.
Подобные вещи для меня являются достаточно простыми и самоочевидными. Даже в чужом коде (нормально написанном) понятно, как с таким работать: открываешь самую верхнюю функцию и начинаешь от нее идти по дереву вызовов, постепенно отсекая неинтересные ветки, пока не доберешься до нужной. Это даже в крестиках-жабах-дотнетах-питонах просто, а в функциональных языках с их лаконичностью и того проще.

А проблема в том, что потом это нужно объяснить коллегам. И тут начинается какая-то знатная хрень, потому что я объяснить не могу.
Для меня очевидно, что map/filter/reduce - это как 2+2, обработка последовательностей, на которой вообще вся эта функциональщина стоит, и что структура данных определяет вызываемые для нее функции и что общие функции и данные нужно выносить в отдельные модули, а не писать каждый раз заново одно и тоже. Но процесс раскладывания в уме ТЗ на эти базовые блоки и обратной сборки конечного результата из блоков - объяснению не поддается.
Писать же код в "понятном стиле", в том смысле, чтобы минимизировать сложность за счет написания в лоб, без зависимостей, не выделять отдельные функции для удобства чтения - это, по моему, какой-то совсем уже бред.

[identity profile] falcrum.livejournal.com 2012-07-15 02:01 pm (UTC)(link)
Если ты не можешь объяснить коллегам свой код - для твоего начальства это повод биться в истерике: завтра ты свалишь, и останется непонятное вуду.

[identity profile] metaclass.livejournal.com 2012-07-15 02:11 pm (UTC)(link)
Начальство пять лет игнорировало мои требования нанять хотя бы еще одного программиста.
Еще 2.5 года назад это можно было сделать нормально - т.е. взять обычного программиста на C#/Delphi/SQL, то сейчас уже все, поезд ушел - с непрерывно нарастающей рабочей нагрузкой я смог справиться, только используя сначала кодогенерацию на F#, затем DSL на Clojure.

[identity profile] falcrum.livejournal.com 2012-07-15 02:16 pm (UTC)(link)
Ну, и... всё. Ситуация ничем не отличается от "ушёл и потёр за собой исходники". Нет связки "понимание предметной области + хотя бы знание, где что поправить". Для конторы - плохо, для тебя - хорошо, в общем-то. :)

[identity profile] metaclass.livejournal.com 2012-07-15 03:04 pm (UTC)(link)
Как раз с предметкой и мелкими правками вроде ок. Там все, что нужно править вынесено в явно подписанные файлы типа "ДанныеДокумента.clj" :)
Проблемы начинаются, когда надо придумать структуру нового документа, или разобраться, пригодна ли старая структура к повторному использованию, и вообще при изучении внутренностей.

[identity profile] falcrum.livejournal.com 2012-07-15 03:06 pm (UTC)(link)
Ты понял, о чём я. Как только тебя перекупит Айсед, дети ребе Б начнут кушать картофельные очистки. :)

[identity profile] aamonster.livejournal.com 2012-07-15 03:21 pm (UTC)(link)
Почему-то у меня "перекупит Айсед" однозначно воспринимается как "перекупит и пустит на органы", потому как готовность ребе Айседа признать пригодность отличных от него человеческих существ к какой-либо деятельности - ну никак в голове не укладывается.

[identity profile] falcrum.livejournal.com 2012-07-15 03:30 pm (UTC)(link)
Ну, данный социопат :) (хотя он что-то такое уже и озвучивал) упомянут лишь в смысле "тот, кто даст в два раза больше денег". Но, вообще, то, что топикстартер начинает подобные проблемы обсуждать публично - уже вполне симптом.

[identity profile] metaclass.livejournal.com 2012-07-15 03:36 pm (UTC)(link)
Я их уже давно обсуждаю, в том числе и на работе. Проблема не решается, а меня потиху начинает бесить, что приходится объяснять элементарные вещи.

[identity profile] aamonster.livejournal.com 2012-07-15 03:47 pm (UTC)(link)
Я подобные проблемы (про число грузовика == 1) на прошлой работе обсуждал несколько лет. Но таки когда жареный петух в задницу клюнул (пришло интересное предложение... в итоге, правда, устроился в третье место, и как раз примерно с удвоением зарплаты) - сумел за разумное время передать дела.

[identity profile] mend0za.livejournal.com 2012-07-15 09:22 pm (UTC)(link)
В оффлайне он милый и вежливый. Особенно на работе. Там может и в еблет прилететь, не то что в жежешечке, воен и берсеркер.


[identity profile] nivanych.livejournal.com 2012-07-16 03:13 am (UTC)(link)
Он же такой большой и толстый!
Кто на него полезет-то!
;-)

[identity profile] aamonster.livejournal.com 2012-07-16 08:12 am (UTC)(link)
Сенсация дня! Айседа бьют по лицу на работе! :-D

[identity profile] juan-gandhi.livejournal.com 2012-07-15 08:56 pm (UTC)(link)
А что, им кто-то должен, что ли?

[identity profile] falcrum.livejournal.com 2012-07-16 04:15 am (UTC)(link)
Не понял вопроса?

[identity profile] juan-gandhi.livejournal.com 2012-07-16 07:34 am (UTC)(link)
Ну, этой конторе. Человек работает, выполняет поставленную задачу, решает проблемы. Или он им ещё обязан создать условия, когда его можно выгнать и заменить двумя студентами? А если они будут так же действовать - создавать условия замены их на двух девочек?

[identity profile] falcrum.livejournal.com 2012-07-16 07:35 am (UTC)(link)
"Этот человек" озвучивал, что на конторе трудится не чисто программистом, а в ранге замдиректора, если ничего не путаю. Так что это должны быть и его проблемы, нет?

[identity profile] metaclass.livejournal.com 2012-07-16 07:45 am (UTC)(link)
Это мои проблемы были еще до того, как меня официально назначили зам-директора. Реализуются не все потенциальные проекты, из-за нехватки рабочей силы. Или реализуются с задержкой.

[identity profile] juan-gandhi.livejournal.com 2012-07-16 08:38 am (UTC)(link)
А, я не в курсе.
Ну может быть.