G
Это лишь пример одной операции, таких может быть очень много, много обобщённых операций, которые ты можешь использовать для всех частных случаев
Size: a a a
2020 May 16
G
Это и смысл монад - переиспользование кода
G
DRY
G
Ну и порядок вычислений тоже, да
KK
Ну блин, если у тебя работает и с синхронным, и с ассинхронным вводом, то ты либо фигачишь лямбду обрабатывающую, либо хреначишь интерфейс
G
Это такой способ композировать значения друг с другом, а потом на выходе наш рантайм исполняет бог-монаду
IO (), собранную из всех другихKK
Я не пойму где тут монады?
G
Ну блин, если у тебя работает и с синхронным, и с ассинхронным вводом, то ты либо фигачишь лямбду обрабатывающую, либо хреначишь интерфейс
Фигачишь лямбду - это подход liburing?
G
О йбля
G
Как оно там называется, забыл эту мразь уже
G
libevent
G
Вот
G
Когда у тебя весь код в лямбдах/функциях, принимающих и передающих контексты
KK
Не знаю как это называется, но в целом да
KK
И не знаю зачем это как-то называть)
G
Не знаю как это называется, но в целом да
Ну для этого название даже есть - callback hell )
KK
Ну для этого название даже есть - callback hell )
Коллбэк хэлл - эт немного другое же
KK
Коллбеков вроде не предлагаю
G
Коллбэк хэлл - эт немного другое же
Тогда я не понимаю про какую лямбду ты говоришь
MB
Мы можем сказать, что у нас есть ридер, который дает T, обернутые в какую-то монаду, и написать эту функцию обобщенно над монадой.
И дальше асинхронный ридер дает монаду Promise, а синхронный монаду Identity. (Не знаю, как они в теории называются).
И дальше асинхронный ридер дает монаду Promise, а синхронный монаду Identity. (Не знаю, как они в теории называются).