https://twitter.com/jdegoes/status/1025532237482270725

После этого на случайных данных или действиях можно проверить соответствие актуального кода и модели.

ФПшники в поисках ФП.

Ммм, ну это действительно если у тебя есть тупая реализация алгоритма и супер-классная - удобно, наверно

Рим пал, люди разбежались?

Скорее Карфаген наконец разрушился. Насколько я понял всю эту историю, дело было так: - в скала сообществе была известная ФП библиотека scalaz - в её создании участвовало куча хаскеллистов - среди них был Тони Моррис, товарищ со здравыми идеями, но полным неумением сдерживаться в выражениях - он не стесяясь ругал новичков в scala и scalaz irc каналах, устраивал какие-то разборки и вёл себя достаточно токсично - в какой-то момент группе людей из scalaz это надоело и они попробовали устроить hostile takeover библиотеки - у них это не вышло, был большой скандал и т.д. - в итоге они сделали альтернативную версию scalaz (написанную с нуля и т.д. и т.п.) - cats (и другие проекты typelevel) - подошли к её созданию достаточно грамотно, сделали внятную документацию, не пугали новичков и т.д. - в итоге cats экосистема стала быстро расти и потихоньку начала становится де факто ФП стандартном для новых проектов - scalaz наоборот стало терять популярность и лишилось народа (который вместе с и после Тони Морриса разбежались) - это ещё осложнилось тем, что у scalaz с большим трудом шла разработка новой версии и были некоторые спорные/гениальные решения (ZIO) Я непосредственым участником этих событий не был, информацию собирал считайте по крупицам, поэтому в каких-то вещах могу ошибаться или иметь неправильный взгляд.

Драма

Ага, ещё какая. Можете найти твиттер Тони Морриса, он там до сих пор эту драму продолжает, прерываясь иногда на ругань в сторону хаскеллевского stack'а. (Кстати, кто-нибудь этот самый stack пробовал, может сказать, что в нём такого спорного?)

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

это ты токсичный? 😱

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

Да, конечно. Всякие Code of Conduct'ы и тому подобное не на пустом месте возникли. Есть люди, которые не умеют себя вести профессионально в том же open source и они относительно часто встречаются.

Няшность лидера как одна из составляющих успеха технологии 🤔

Скорее важно даже не быть няшным, а просто иметь банальную вежливость и уважение к собеседнику.

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

Везде одно и то же, IRC, почта, форумы, жж, жаббер, жуйк, блоги, твиттер, телега. :)

@Kleidemos а не знаешь репозиториев с акторами, роутингом и всем таким? на аклинге

В буткампе было про роутинг и т.п. Если того уровня достаточно (я до сих пор часть не юзал на практике), то можно сюда посмотреть: https://github.com/kleidemos/akka-bootcamp/tree/akkling

Ок, я пока скорее на уровне «палкой потыкал». Надо теперь нормально понять что происходит)

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

Ок. У меня возникла мысль, что вид типизации (статическая или динамическая) никак напрямую не влияет на качество программного обеспечения. И это только вопрос каких-то личностных предпочтений.

Ну, рассказывайте, как вы умудряетесь работать с кучей мониторов?

Но он же опенсорсит телегу, паспорт вероятно тоже

а кто-нибудь знает, почему StructOption сделан так: [<Struct>] type StructOption<'T> (hasValue: bool, value: 'T) = member __.IsNone = not hasValue member __.HasValue = hasValue member __.Value = value override __.ToString() = if hasValue then match box value with null -> "null" | x -> x.ToString() else "<none>" а не [<Struct>] type StructOption<'T> = | UNone | USome of 'T ?

Не знаю, что может быть хуже, чем писать десктоп.

Я готов обсуждать конкретные проблемы

Отсюда из соответствия модели и спецификации должно следовать соответствие кода и спецификации.

Очень ущербно поддерживаются генерики, вложенные типы в XAML. Не хватает поддержки выражений, я не хочу на каждый чих писать конвертер. Хочется декларативной поддержки computed-свойств в INPC.

Пиши код во viewmodel, делов-то

Ну делаешь в модели инвертированное свойство

Очень ущербно поддерживаются генерики, вложенные типы в XAML. Не хватает поддержки выражений, я не хочу на каждый чих писать конвертер. Хочется декларативной поддержки computed-свойств в INPC.

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

Ага, очень хорошо решает проблему с конвертерами (нет).

Конвертер с кастомным парсером простеньких выражений.