G
Там все равно весь бэк в монадах будет контексты чейнджить постоянно
Как?
Size: a a a
2020 May 16
G
Монады же не заставляют контекст менять
KK
Ну у тебя все равно будет оборачиваться в await
KK
И вообще, как от монад перешли к ФП?
Монады есть парадигма для фп
MB
Монады есть парадигма для фп
То есть раст скоро станет ФП?
KK
То есть раст скоро станет ФП?
Там есть часть фп
KK
Как и в шарпе
MB
И в C++
MB
Ведь там тоже монады есть
KK
Но наибольший смысл монады имеют именно в фп, потому что там у тебя нет гарантии порядка вычислений
KK
А монады его дают
KK
Поэтому в хаскелле, к примеру, считать файлик без монады - анрил
G
Представим абстрактно
Когда что-то возвращает - значит
Т.е. с такими определениями нельзя просто "достать"
Future:interface Future {
Option<T> poll();
}Когда что-то возвращает - значит
T готово. Эти футурки композируются в монады посредством andThen:Future<T> andThen(first: Future<U>, lambda: U -> Future<T>) { ... }Т.е. с такими определениями нельзя просто "достать"
T из монады Future. Придётся её с собой таскатьG
Ну у тебя все равно будет оборачиваться в await
Это к этому
G
Т.е. я хочу и синхронный, и асинхронный код протаскивать, я не хочу всё делать асинхронным
G
Синхронный должен оставаться синхронным, асинхронный - асинхронным
KK
Не пойму проблемы
KK
Зачем монады?
G
Зачем монады?
Я продвигаю разговор по теме реализации той операции
G
Как пример, операции, которая работает и с синхронным, и асинхронным кодом