IP
не-не-не
Size: a a a
2021 May 17
IP
к черту зависимости
I
> Linux
> к чёрту зависимости
Я один вижу противоречие?
> к чёрту зависимости
Я один вижу противоречие?
I
Или "щито поделать десу"
I
Главный вопрос - зачем? Ни игр, ни докера нормального
Ну разве что под iOS хочется девелопить
Ну разве что под iOS хочется девелопить
IP
Linux - это не зависимость
I
Ну, как минимум один менеджер зависимостей в него входит же, если это не слакварь.
KD
Ну вот взять котлин, там в каком-нибудь арроу, как я понимаю, комбинируются только общие типы.
Итер с итером, валидейтед с валидейтедом, и там уже скакать через
Но в хаскелях, как я понимаю, оно не так криво.
Итер с итером, валидейтед с валидейтедом, и там уже скакать через
to*.Но в хаскелях, как я понимаю, оно не так криво.
KD
Вот и интересно вникнуть
(
Нет, точно так же
(
Потому что монады не композируются, це как раз теория
(
Поэтому существуют монад трансформеры и системы эффектов
I
Вот смотри, есть две монады - List и Maybe. List<Maybe<T>> это совершенно другой тип, а не Maybe<List<T>>. Собственно, Скобка об этом уже написал, что монады не компонуются.
I
Ну ты же уже скомпозировал 2 монады и получился List<Maybe<T>> 😅
KD
Но можем ли мы взять List и сбайндить\флетмапить его с Maybe?
Или нужно сначала привести лист к мейби, а потом уже флетмапить на другое мейби?
Или нужно сначала привести лист к мейби, а потом уже флетмапить на другое мейби?
KD
Лист ведь, кстати, не является монадой, разве нет?
Тот что в Kotlin\Java.
Тот что в Kotlin\Java.
АХ
Не, некомозируемость монад не про то. Апплмкативы прекрасно композируются, например. Обв типа
АХ
Доберусь до компа напишу подробнее