Телеграмм чат группы haskellru страница 16332

Потому что "по образу и подобию" очень многое сделано в либах

Can I haz? Рассматриваем ФП-паттерн Has

08:40пожаловаться #1

¯\_(ツ)_/¯ in Haskell

что-то такое?

https://m.habr.com/ru/post/470197/

Хабр

Привет, Хабр. Сегодня мы рассмотрим такой ФП-паттерн, как Has-класс. Это довольно любопытная штука по нескольким причинам: во-первых, мы лишний раз убедимся, что паттерны в ФП таки есть....

09:22пожаловаться #2

I can haz cheeseburger

09:23пожаловаться #3

Примерно такое, да. Поверх Reader описывают capabilities

09:24пожаловаться #4

Может быть, кто-то пользуется вместо всего вышеописанного пакетом extensible-effects? Который ещё free-er monads

09:32пожаловаться #5

Выглядит очень классно (и просто), но почему-то в новичковом курсе от Металамп не упоминается

09:33пожаловаться #6

Вот щас бы учить новичков freer monads

09:41пожаловаться #7

Их на проде-то единицы процентов используют

09:42пожаловаться #8

Maxim Koltsov in Haskell

+++

09:42пожаловаться #9

Не сказал бы что mtl сильно проще в понимании реализации

09:44пожаловаться #10

Почему?

09:44пожаловаться #11

А с точки зрения использования — но там, ни там особых сложностей быть не должно

09:44пожаловаться #12

Потому что они мало где реально незаменимы, и mtl в большинстве случаев “good enough”

09:45пожаловаться #13

+ он лучше «изучен»

09:45пожаловаться #14

mtl гуд энаф, но Has всем нужен 😕
А в freer он часть архитектуры

09:46пожаловаться #15

True

09:46пожаловаться #16

+ к mtl много библиотек имеют поддержку «из коробки»

09:47пожаловаться #17

Логгеры всякие, базы данных

09:47пожаловаться #18

Вот это многое объясняет. Справедливо

09:47пожаловаться #19

Свободныемонадки предполагают, что вы хотите написать больше одного интерпретатора