Size: a a a

(F|R|FR)P - русскоговорящее сообщество

2018 December 04

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
вроде все основные монады ленивые
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
io task
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
Ну с монадами и их lazy есть вопросы, да.

Ну а что такое ленивая композиция?
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
и все чем можно врапнуть eithert readert
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
ну если ты на флэтмапах скомпозишь ленивые монады получится ленивая композиция
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
например если это ридерт и ты комбайнишь ридеры, то в конце у тебя получится тоже ридерт
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
который типа можно запустить
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
Но ленивый же. Хм хм.
Да да.
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
я правда не совсем уверен что это называется ленивая композиция)
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
При композиции монад того же ИО мы все равно получаем ИО.
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
источник

DR

Dmitry R in (F|R|FR)P - русскоговорящее сообщество
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
при композиции любой монады ты получишь туже монаду
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
эта композиция называется композицией Клейсли
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
есть такое поняти как трансформеры монад и тут уже можно компоузить разные монады
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
Но в данном случае конкретный инстанс монады, IO будет иметь значение которые вернётся только при запроса.
источник

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Евгений Иванов
Но в данном случае конкретный инстанс монады, IO будет иметь значение которые вернётся только при запроса.
стратегий несколько
call by need
call by value
call by name
источник

AS

Anton Sutarmin in (F|R|FR)P - русскоговорящее сообщество
Евгений Иванов
Можно я тебя приглашу в одну группу скалистов, я там поднял по ленивых монад.
Закинь ссылочку
источник

ЕИ

Евгений Иванов in (F|R|FR)P - русскоговорящее сообщество
Anton Sutarmin
Закинь ссылочку
источник