let wat = TrueBool false

Я СЛОМАЛ СИСТЕМУ

а вот это нахуя если там всегда true??? static member value (TrueBool x) = x

это тест кстати)

я короче тут нихуя не понял от слова совсем

type TrueBool = TrueBool of bool with static member create x = if x = false then None else Some (TrueBool x) static member value (TrueBool x) = x

Это прям коан

Зато без бойлерплейта

там еще и гопак

там еще и гопак

Да. он там вообще не в тему в целом

то есть он там ни для чего не используется

пишется банальная джоба и тут же в таск конвертится

нахуя для чего

member _.WithPolymorphicEntities(polyBuilders: PolymorphicBuilder<'ctx> list) : HttpHandler = fun next httpCtx -> job { let! doc = builder.WriteList httpCtx ctx req (polyBuilders |> List.map (fun b -> b.resourceDef, b.entity)) return! jsonApiWithETag<'ctx> doc next httpCtx } |> Job.startAsTask

что почему зачем

ойвсё

Чот выглядит совсем как ебанина

Я бы санитаров вызвал на месте дедушки

И сказал бы, что диверсити не соблюдается

let nonNegativeInt = define.Attribute .ParsedOpt(NonNegativeInt.value, NonNegativeInt.create) .Get(fun _ -> NonNegativeInt 1)

Мясо прям

Ну я в теории, канеш, понимаю, что написано

Но это ебаный пиздец

Еще бы понять, нахуя там квотейшны

Кароч, бегло глянул код либы

Увидел Job.liftAsync2

Испугался, пошел спать

Чего и вам желаю

блять что это, пачиму это

Операция «Возмездие»

https://youtu.be/QtcF1GIfNds

это об этом ходили легенды? https://github.com/cmeeren/Felicity/blob/master/src/Felicity.IntegrationTests/RequestParser.fs#L19

Не знаю за что вы на него взъелись, чувак просто блогов про типонафтику начитался, накуривается и под травой пишет домейн-дривен код. ИМХО это лучше чем то, как в соседнем чате на Скале люди парсят int. Там три библиотеки надо и два имплисита и говнина на 20 строк кода.

type TrueBool = TrueBool of bool with static member create x = if x = false then None else Some (TrueBool x) static member value (TrueBool x) = x

Вау

Меня вот другое всегда удивляет: ПАЧИМУ в стлибе на С нет ни хештаблиц, ни хешсетов?

Как жить тогда?

Даже в Го есть дикшинари, йобана.

Не знаю за что вы на него взъелись, чувак просто блогов про типонафтику начитался, накуривается и под травой пишет домейн-дривен код. ИМХО это лучше чем то, как в соседнем чате на Скале люди парсят int. Там три библиотеки надо и два имплисита и говнина на 20 строк кода.

Извини, но нет. У Царпалиса типоастронавтика. А это говно. Тебе может показаться, что это код , ну типа, все признаки же: репозиторий, файл проекта, флаги компилятора. Но это просто насрал кто-то. Даже слово для этого есть специальное - «парейдолия», ну знаешь, бывает в разводах на стене Деву Марию видят, а бывает, что в говне - код.

Извини, но нет. У Царпалиса типоастронавтика. А это говно. Тебе может показаться, что это код , ну типа, все признаки же: репозиторий, файл проекта, флаги компилятора. Но это просто насрал кто-то. Даже слово для этого есть специальное - «парейдолия», ну знаешь, бывает в разводах на стене Деву Марию видят, а бывает, что в говне - код.

Я хорошо помню примеры Влашина с его ValudatedEmail и ListWithOneElement и толпы адпептов им зачитываются и сладострастно повторяют его имя на кухнях. Чем оно лучше этого кода?

По-моему, ничем.

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

Сколько там кстати звёзд?

Сколько там кстати звёзд?

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

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

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

Нам как коммьюнити еще довольно долго идеоматические подходы вырабатывать, нужна новая Functional Architecture, но от Сайма

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

Ну я на много чего посматриваю, но у меня система ограничений шире, мне важно учитывать социономику - потянут ли коллеги? Не поотрывает ли им ноги? Как под это дело нанимать людей? Как быстро мы сможем с этим всем наносить пользу/валуе?

Вот например опытным путем выяснили, что разработка под канонический event sourcing в среднем в три раза медленнее по сравнению с сермяжной трехслойной архитектурой. Я все прекрасно понимаю, но в конце года перфоманс ревью проходит по количеству релизнутых проектов и бенчмарк относительно всей корпорации. Я лично не Джордано Бруно, чтоб семейное счастье сжигать в топке фреймворков

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

Ну я на много чего посматриваю, но у меня система ограничений шире, мне важно учитывать социономику - потянут ли коллеги? Не поотрывает ли им ноги? Как под это дело нанимать людей? Как быстро мы сможем с этим всем наносить пользу/валуе?

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

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

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

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

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

Но я живу первый раз и не знаю как это исправить кроме как стараться самому не быть таким.

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

Когда становишься тех/тим лидом, то вопрос использования чего то нового интересного но сложного отпадает как то потихоньку. Людей нанять очень сложно, хорошие люди обычно уже хорошо сидят, бюджет ограничен, корпоративные цели совсем не в развитии инженерных практик. И бонусов промоушенов, кстати, не своих, а команды.

Когда становишься тех/тим лидом, то вопрос использования чего то нового интересного но сложного отпадает как то потихоньку. Людей нанять очень сложно, хорошие люди обычно уже хорошо сидят, бюджет ограничен, корпоративные цели совсем не в развитии инженерных практик. И бонусов промоушенов, кстати, не своих, а команды.

Ты и прав, и нет. Техлид это активная позиция, которая предполагает человека самодостаточного, со своими ценностями, который не только может, но безапелляционно обязан их внедрять. Корпоративные цели вне всякого сомнения могут сожрать тебя живьём и выплюнуть и в этом деле нужна и психология, и дипломатия, и политика; мне этих качеств очевидно не хватило. Но нельзя, ни в коем случае нельзя руководителя делать заложником корпоративной культуры и невольником якобы недостаточных бюджетов: главная задача техлида - воплощать инженерную культуру, воплощать ее в конкретных продуктах, знать наперёд, предвидеть и учить этому молодое поколение. Иначе это просто пустые слова, а не должность - чисто как у нас президент из КВН.

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

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

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

Ты просто слишком русский. Ну я уже это не раз говорил. Это заметно по рассуждениям с точки зрения всеобщего «правильно», будто ты не шестеренка в машине эксплуатации и не инструмент достижения чьих-то конкретных карьерных целей, а мотивированный строитель социалистической системы с горизонтом планирования на поколения вперед.

Я бы конечно предпочёл существовать именно в такой системе, а не в системе дикого капитализма, ну надеюсь в этот момент отец Григорий выпил за то, чтоб мои желания совпадали с моими возможностями

Я бы конечно предпочёл существовать именно в такой системе, а не в системе дикого капитализма, ну надеюсь в этот момент отец Григорий выпил за то, чтоб мои желания совпадали с моими возможностями

Я только что из костко :)

Мне нужно напомнить своим загорелым коллегам проревьють мой говнокод и задеплоить :)

И я выпью всенепременно. И сегодня и завтра и в выходные и не раз.

Ты просто слишком русский. Ну я уже это не раз говорил. Это заметно по рассуждениям с точки зрения всеобщего «правильно», будто ты не шестеренка в машине эксплуатации и не инструмент достижения чьих-то конкретных карьерных целей, а мотивированный строитель социалистической системы с горизонтом планирования на поколения вперед.

Если отнять у человека чувство «общего хода вещей» по Пушкину, которое ты назвал «всеобщим ‘правильно’», то человека не останется. Это просто кусок мяса, медленно разлагающийся во враждебной зловонной среде, порождённой жизнедеятельностью таких же кусков мяса. Звучит патетично, но ведь это так и есть.

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

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

Уверен?

Конечно. Там же топовые универы.

Уверен?

На всю тысячу.

Ну у меня под боком продукт 12-летней американской школы. Сошал джастис вориор. И я её такой не воспитывал. Всеобщее правильно тут только с сильными перегибами

Ну у меня под боком продукт 12-летней американской школы. Сошал джастис вориор. И я её такой не воспитывал. Всеобщее правильно тут только с сильными перегибами

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

Black matters был ярким примером.

И это не то, чтобы единственный пример.

Что такое всеобщая правда?

Что такое всеобщая правда?

Есть такой дар у человека - называется совесть.

Ты про набор правил, который формируется окружением в процессе взросления?

Ты про набор правил, который формируется окружением в процессе взросления?

Нет, это уголовный кодекс и этикет, я про совесть.

Нет, это уголовный кодекс и этикет, я про совесть.

Не убий, не укради... вот это вот всё?

Conscience is a cognitive process that elicits emotion and rational associations based on an individual's moral philosophy or value system. Со́весть — психический (когнитивный) процесс, вызывающий эмоции и рациональные ассоциации, основанные на моральной философии или системе ценностей личности.

Conscience is a cognitive process that elicits emotion and rational associations based on an individual's moral philosophy or value system. Со́весть — психический (когнитивный) процесс, вызывающий эмоции и рациональные ассоциации, основанные на моральной философии или системе ценностей личности.

Ты б ещё в десять заповедей процитировал.

Ой.

Ой.

🤣🤣🤣

Видишь чо - (а)моральная философия у каждого своя :)

Основные моменты общие, вроде бы.