Монады можно успешно заменить много чем. Например макросами и call/cc в scheme. Или async/await в C# или операцией [^] в smalltalk. Монада нужна теоретикам, что доказать некоторые свойства языка. А программисту до фонаря как это теоретик называет.
https://habr.com/ru/post/505928/#comment_21716126
https://habr.com/ru/post/505928/#comment_21716126
Хабр
Почему функциональное программирование такое сложное
Я несколько раз начинал читать статьи из серии «Введение в функциональное программирование», «Введение в Теорию Категорий» и даже «Введение в Лямбда Исчисление».
Forwarded from Soul
А то непонятность сишных макросов просто перетекла в непонятность типов, а жить проще не стало
Forwarded from dd if=/dev/stuff of=/dev/tg
Forwarded from Vasiliy
Кризис очень больно бьёт по бизнесу Тинькофф банка.
Ситуация с фп-академиками, по словам сотрудников, начинает выходить из-под контроля. Из-за убытков банкстеры решили закрыть 2 подразделения: страхование и трэвел. А менеджеры, которые раньше часто вкладывали собственные деньги в акции банка, не покупают их уже год.
Forwarded from Lil Functor
Собрал материалы по инъекции зависимостей в скале c ZIO. ZLayer пока совсем свежая технология, поэтому систематических обучающих материалов по ней пока нет. Но уже набралось приличное количество руководств от разных авторов.
Документация
⚡ZLayer
⚡Use modules and layers
⚡Macros
Блогпосты
🛠Adam Warski — Managing dependencies using ZIO
🛠Pavels Sisojevs — From idea to product with ZLayer
🛠aappddeevv — zio layers and framework integration
🛠Tim Pigden — Example of ZLayers being used in combination
🛠Juliano Alves — ZIO + Http4s: a simple API client
Слайды к докладам
👨🎓Adam Fraser — Solving The Dependency Injection Problem With ZIO
👨🎓Pierangelo Cecchetto — Ray tracing with ZIO-ZLayer
Документация
⚡ZLayer
⚡Use modules and layers
⚡Macros
Блогпосты
🛠Adam Warski — Managing dependencies using ZIO
🛠Pavels Sisojevs — From idea to product with ZLayer
🛠aappddeevv — zio layers and framework integration
🛠Tim Pigden — Example of ZLayers being used in combination
🛠Juliano Alves — ZIO + Http4s: a simple API client
Слайды к докладам
👨🎓Adam Fraser — Solving The Dependency Injection Problem With ZIO
👨🎓Pierangelo Cecchetto — Ray tracing with ZIO-ZLayer
Forwarded from Р С
Твоим котам в обед полгода. Только неадекват затащит это говно в продукт который считает деньги
Forwarded from Р С
кто то модный пишет на котах и зио ну молодцы. преклоняюсь перед смелостью владельцев денег которые это пропустили.
Forwarded from Р С
дали возможность потрогать стаду гиков новую игрушку за свой (не их) счет )
Forwarded from 𝛈 µ
Еще десять лет назад я сделал наблюдение - больше всего про кешлайны кукарекают тупые петухи, неспособные две строчки кода написать
Forwarded from Pasha Finkelshteyn
Потому что в котлиновском паттерн-матчинге сложность O(1), а в скале она вообще непредсказуема
Forwarded from Слава
Диай - это такой особенный способ сделать в рантайме то, что не может сделать компилятор в compile-time, по причине ограниченности оного компилятора (читай: тупости). Иначе говоря, чтобы оно собиралось нормально, а при запуске падало. Или даже не при запуске, а при обработке одного из запросов.
Forwarded from p0lunin [BPL]
Спорить что хаскель и Идрис неприменимы в продакшен среде глупо. А все что неприменимо в продакшене - игрушки.
Forwarded from Маjко
Взять к примеру F#. Всё, что можно написать на F# можно написать на C#. А на F# написать можно очень немногое из того, что позволяет C#. Зато писать на F# сможет НЕпрограммист, а математик, физик, химик или иной инженер.
Forwarded from p0lunin [BPL]
Важно. Разработка ведётся на ОО языках, а не на языках для доказывания теорем.
Forwarded from p0lunin [BPL]
Это подразумевалось, поскольку фреймворки доступны только в ОО языках.
Forwarded from Alexander Granin
Когда я говорил, что ФП - это the next big thing, надо мной смеялись, улюлюкали. Мол, кому эта ерунда нужна. И это в годах 2011-2015, когда нужность ФП уже была видна невооруженным глазом.
Когда я говорил, что Rust станет следующим мейнстримным языком, мне особо не верили. Да и сейчас плюсовики противятся многие. Но он станет, - в перспективе нескольких лет.
Когда я говорил, что Rust обгонит Haskell и поставит нужность оного под сомнение (вместе со Scala+Kotlin+Go), противились уже хаскеллисты. И сейчас смеются, улюлюкают. Мол, причем тут эти языки, у нас свой путь, своя атмосфера.
Но эти же мои прогнозы означают и обратное. Ничто из других языков не получит такой же популярности, в том числе и Idris. Как бы ни хотелось пишущим на нем считать, что он может куда-то продвинуться, предпосылок для этого нет. Его ценности, обозреваемые индустрией снаружи, идут вразрез с тем, что оной нужно. Не нужны 99% компаний ни полная корректность, ни мощные системы типов, ни доказательства теорем. Сам майндсет, который выражает Idris, не нужен, и в немалой степени потому, что этот майндсет почти полностью вложен в майндсет Haskell, который, как мы видим, тоже не особо привлекает индустрию. Но Haskell еще можно спасти, - путем радикальной смены ценностей, - а вот насчет Idris я вовсе не уверен
Когда я говорил, что Rust станет следующим мейнстримным языком, мне особо не верили. Да и сейчас плюсовики противятся многие. Но он станет, - в перспективе нескольких лет.
Когда я говорил, что Rust обгонит Haskell и поставит нужность оного под сомнение (вместе со Scala+Kotlin+Go), противились уже хаскеллисты. И сейчас смеются, улюлюкают. Мол, причем тут эти языки, у нас свой путь, своя атмосфера.
Но эти же мои прогнозы означают и обратное. Ничто из других языков не получит такой же популярности, в том числе и Idris. Как бы ни хотелось пишущим на нем считать, что он может куда-то продвинуться, предпосылок для этого нет. Его ценности, обозреваемые индустрией снаружи, идут вразрез с тем, что оной нужно. Не нужны 99% компаний ни полная корректность, ни мощные системы типов, ни доказательства теорем. Сам майндсет, который выражает Idris, не нужен, и в немалой степени потому, что этот майндсет почти полностью вложен в майндсет Haskell, который, как мы видим, тоже не особо привлекает индустрию. Но Haskell еще можно спасти, - путем радикальной смены ценностей, - а вот насчет Idris я вовсе не уверен