AK
корутины это монада
корутины - это обощённая концепция леговесных потоков. причём тут монада? в каком месте?
Size: a a a
2021 March 09
I
корутины это монада
Где?
с#
Где?
ну хотя в котлине они не так реализованы, окей, там continuation передаётся аргументом.
но сами по себе компиляторные корутины спокойно заменяются на языковые монады: вызов каждой суспенд функции это монадный map / flatMap.
но сами по себе компиляторные корутины спокойно заменяются на языковые монады: вызов каждой суспенд функции это монадный map / flatMap.
I
шта? а причём тут монады? корутины это просто способ упросить написание асинхронщины и параллельщины.
на монады вообще пох в большинстве языков и экосистем. как и на всю возню около них, чем-то напомминающую философскую в духе "а что же есть монада?", "в чём суть?", "ялвяется ли X монадой", "Y где-то трактовал это как ..."
на монады вообще пох в большинстве языков и экосистем. как и на всю возню около них, чем-то напомминающую философскую в духе "а что же есть монада?", "в чём суть?", "ялвяется ли X монадой", "Y где-то трактовал это как ..."
#первый_пошел 😌
I
ну хотя в котлине они не так реализованы, окей, там continuation передаётся аргументом.
но сами по себе компиляторные корутины спокойно заменяются на языковые монады: вызов каждой суспенд функции это монадный map / flatMap.
но сами по себе компиляторные корутины спокойно заменяются на языковые монады: вызов каждой суспенд функции это монадный map / flatMap.
Монада Future покрывает корутины так же, как do-нотация покрывает последовательность вычислений. То есть, если последовательность не имеет ветвлений, то всё ОК. Иначе - вешайся. Я уже не говорю о cancellation.
с#
Монада Future покрывает корутины так же, как do-нотация покрывает последовательность вычислений. То есть, если последовательность не имеет ветвлений, то всё ОК. Иначе - вешайся. Я уже не говорю о cancellation.
вообще хочу предупредить, что не знаком с корутинами в скале и как они реализованы там.
в моём представлении это можно сделать нормально, а с cancellation проблем быть не должно, ибо суспенд поинты более явные.
в моём представлении это можно сделать нормально, а с cancellation проблем быть не должно, ибо суспенд поинты более явные.
AM
Потому что целиком надо доклад кидать, а не вот такие обрывки — он довольно хорошо пояснил, что такое монадическое вычисление.
AM
Но да, про корутины там и правда вот эта одна строка.
I
вообще хочу предупредить, что не знаком с корутинами в скале и как они реализованы там.
в моём представлении это можно сделать нормально, а с cancellation проблем быть не должно, ибо суспенд поинты более явные.
в моём представлении это можно сделать нормально, а с cancellation проблем быть не должно, ибо суспенд поинты более явные.
Future там.
AM
Короче, Игорь вас как обычно троллирует, а вы ведётесь.
с#
вообще хочу предупредить, что не знаком с корутинами в скале и как они реализованы там.
в моём представлении это можно сделать нормально, а с cancellation проблем быть не должно, ибо суспенд поинты более явные.
в моём представлении это можно сделать нормально, а с cancellation проблем быть не должно, ибо суспенд поинты более явные.
и ещё хочу предупредить, что я не говорю, что корутины хуже монад, просто у них есть много общего.
особенно мне нравится как раз то, что я явно вижу где функция может не доработать.
особенно мне нравится как раз то, что я явно вижу где функция может не доработать.
AM
шта? а причём тут монады? корутины это просто способ упросить написание асинхронщины и параллельщины.
на монады вообще пох в большинстве языков и экосистем. как и на всю возню около них, чем-то напомминающую философскую в духе "а что же есть монада?", "в чём суть?", "ялвяется ли X монадой", "Y где-то трактовал это как ..."
на монады вообще пох в большинстве языков и экосистем. как и на всю возню около них, чем-то напомминающую философскую в духе "а что же есть монада?", "в чём суть?", "ялвяется ли X монадой", "Y где-то трактовал это как ..."
В докладе, кстати, Виталий прям явно проговаривает ровно то же, что и ты в этом сообщении.
с#
@ankorotkikh надо признать что монады и корутины это бурито
AM
с#
https://www.youtube.com/watch?v=IkXg_mjNgG4 на случай, если кому-то контекст интересен
мне интересно, посмотрю
AK
В докладе, кстати, Виталий прям явно проговаривает ровно то же, что и ты в этом сообщении.
мне иногда кажется, что Игорь специально создаёт образ Брагилевского как некого самоходного вентилятора. т.е. смотреть можно если хочется угарнуть или вписаться в срач, но если дело касается уже серьёзной продуктовой разработки, то можно смело выключать и не смотреть
будто это какой-то тонкий план мести
будто это какой-то тонкий план мести
I
В докладе, кстати, Виталий прям явно проговаривает ровно то же, что и ты в этом сообщении.
> корутины это просто способ упросить написание асинхронщины и параллельщины.Странно, только что посмотрел, но не помню такого 🤔 Там вообще про корутины было одно предложение.
AM
> корутины это просто способ упросить написание асинхронщины и параллельщины.Странно, только что посмотрел, но не помню такого 🤔 Там вообще про корутины было одно предложение.
Да, сорри, я про "на монады вообще пох в большинстве языков и экосистем. как и на всю возню около них"
I
Это он в каждом говорит)
AM
мне иногда кажется, что Игорь специально создаёт образ Брагилевского как некого самоходного вентилятора. т.е. смотреть можно если хочется угарнуть или вписаться в срач, но если дело касается уже серьёзной продуктовой разработки, то можно смело выключать и не смотреть
будто это какой-то тонкий план мести
будто это какой-то тонкий план мести
Брагилевский и сам работает как самоходный вентилятор порой, чего стоит одно его выступление на HolyJS