← пред | след →
implicit_user 2022-07-01 13:54:19
sergey_alaev 2022-07-01 13:37:58
по good.id
Встроенного метода не было, но тепер добавлю. К примеру я это реализовал так
lmnet89 2022-07-01 14:03:32
implicit_user 2022-07-01 13:54:19
Встроенного метода не было, но тепер добавлю. К примеру я это реализовал так
На самом деле я бы отдельно запаблишил штуку с макросом по пути к полю кейс класса
lmnet89 2022-07-01 14:03:44
вот это офигенно полезная вещь, а самому делать лень
implicit_user 2022-07-01 14:05:25
Я вот как раз сейчас выношу в отдельный модуль это
skucherenko 2022-07-01 14:29:05
sergey_alaev 2022-06-29 13:33:47
Я бы задвинул тему, что монадические эффекты вообще не нужны, но это тема не для этого чатика.
, скоро отомрет, как изживший себя подход.
karphagen 2022-07-01 14:31:01
skucherenko 2022-07-01 14:29:05
, скоро отомрет, как изживший себя подход.
Ага, и типы надо выкинуть) Зачем все эти сложности)
skucherenko 2022-07-01 14:31:43
karphagen 2022-07-01 14:31:01
Ага, и типы надо выкинуть) Зачем все эти сложности)
я согласился с Сергеем неиронично
Deλ✨ 2022-07-01 14:32:06
skucherenko 2022-07-01 14:31:43
я согласился с Сергеем неиронично
Объясни
Deλ✨ 2022-07-01 14:32:17
Хоть это и не тема для этого чата
skucherenko 2022-07-01 14:35:22
Deλ✨ 2022-07-01 14:32:06
Объясни
то, что делают монадками, можно примерно с тем же успехом делать и на продолжениях. Но продолжения неудобная абстракция для повседневной работы, как минимум runCC с rank-2 types из-за double negation людей смущает (и не только это). А вот алгебраические эффекты и запись в direct syntax того, что сейчас принято записывать в do-нотации — самое оно по прагматике.
skucherenko 2022-07-01 14:37:33
монады с, не приведи господь, MTL’ем, если смотреть из дивного мира будущего, кажутся неуклюжим пережитком.
Rae2xiev 2022-07-01 14:41:13
Так то продолжения тоже монадка
apache_dog 2022-07-01 14:41:25
skucherenko 2022-07-01 14:35:22
то, что делают монадками, можно примерно с тем же успехом делать и на продолжениях. Но продолжения неудобная абстракция для повседневной работы, как минимум runCC с rank-2 types из-за double negation людей смущает (и не только это). А вот алгебраические эффекты и запись в direct syntax того, что сейчас принято записывать в do-нотации — самое оно по прагматике.
direct syntax и вкручивать в язык конечно боль
apache_dog 2022-07-01 14:41:36
достаточно посмотреть на то что творится в кот-лине
skucherenko 2022-07-01 14:41:58
apache_dog 2022-07-01 14:41:25
direct syntax и вкручивать в язык конечно боль
новый язык нужен, конечно
optician_owl 2022-07-01 14:45:56
skucherenko 2022-07-01 14:41:58
новый язык нужен, конечно
Мы не доживём
odomontois 2022-07-01 14:50:36
RattenKong 🦧🐀🦍 2022-06-29 13:18:08
У меня был один знакомый который двинулся на тф. Он все приложения которые поддерживал переделывал под тф и делал 100% дырявую апликуху
что за чел?
odomontois 2022-07-01 14:51:26
Думаю, в этом споре первый Сергей всех спутал, когда приравнял эффекты модульности
RattenKong 🦧🐀🦍 2022-07-01 14:51:57
odomontois 2022-07-01 14:50:36
что за чел?
N man
vnikita 2022-07-01 14:52:36
skucherenko 2022-07-01 14:37:33
монады с, не приведи господь, MTL’ем, если смотреть из дивного мира будущего, кажутся неуклюжим пережитком.
помню тут были противники direct syntax’а
← пред | след →