I
чет по моему мы все о разном, я короче суть потерял)
Size: a a a
2020 July 28
VP
Распараллеливание чистых функций?
А как связано распараллеливание и suspend?
I
Распараллеливание чистых функций?
Я сдаюсь. Я уже по пятому кругу пошёл. Не говоря уже о том, что suspend - это не про параллелку, а про асинхронку.
КР
чет по моему мы все о разном, я короче суть потерял)
Он говорит, что для обозначения грязи можно повесить на функцию suspend.
КР
Я сдаюсь. Я уже по пятому кругу пошёл. Не говоря уже о том, что suspend - это не про параллелку, а про асинхронку.
Каюсь, имел ввиду асинхронность.
КР
Постоянно оговариваюсь, хоть и понимаю разницу.
I
Он говорит, что для обозначения грязи можно повесить на функцию suspend.
звучит логично 🤔
а в языках без монад, делить pure/impure можно с помощью специальных аннотаций (типа suspend)
У Дегоза про это было https://degoes.net/articles/no-effect-tracking
(там правда странные выводы и реклама zio в конце)
а в языках без монад, делить pure/impure можно с помощью специальных аннотаций (типа suspend)
У Дегоза про это было https://degoes.net/articles/no-effect-tracking
(там правда странные выводы и реклама zio в конце)
КР
звучит логично 🤔
а в языках без монад, делить pure/impure можно с помощью специальных аннотаций (типа suspend)
У Дегоза про это было https://degoes.net/articles/no-effect-tracking
(там правда странные выводы и реклама zio в конце)
а в языках без монад, делить pure/impure можно с помощью специальных аннотаций (типа suspend)
У Дегоза про это было https://degoes.net/articles/no-effect-tracking
(там правда странные выводы и реклама zio в конце)
А как же, например, префы? Искусственно оборачивать в with context или вешать suppress аннотацию, что suspend лишний?
КР
Всё равно считаю, что IO -> suspend это ошибка, т.к. про разное.
VP
Всё равно считаю, что IO -> suspend это ошибка, т.к. про разное.
Это настолько же ошибка, насколько ошибка весь Arrow, не больше
КР
Это настолько же ошибка, насколько ошибка весь Arrow, не больше
Ух, набросил так набросил.☺️
VP
Ну если уж использовать Arrow, то конкретно эта идея очень даже ничего
I
Напишу последний раз и сфорвардю в сохранёнки. У котлина явная асинхронность и неявная синхронность, в отличие от async/await языков, типа питона, шарпа или джыэса.. Если надо что-то запустить асинхронно, надо явно запустить это через launch/async. То есть, асинхронщина явно видна в коде и нет никакого смешивания IO и асинхронщины.
Если вам уж сильно хочется пометить что-то через IO, используйте ресиверы, как у нас в kotlinx.coroutines используется CoroutineScope.
То есть, также, как в корутинах есть идиома
Не могу поверить, что котлин != скала так туго доходит. Почему-то котлин != джава дошло почти сразу.
Если вам уж сильно хочется пометить что-то через IO, используйте ресиверы, как у нас в kotlinx.coroutines используется CoroutineScope.
То есть, также, как в корутинах есть идиома
CoroutineScope.foo() != suspend foo, так и тут можно написать что-то типа suspend IO.foo().Не могу поверить, что котлин != скала так туго доходит. Почему-то котлин != джава дошло почти сразу.
I
А как же, например, префы? Искусственно оборачивать в with context или вешать suppress аннотацию, что suspend лишний?
Ну учитывая что там возможно чтение с диска, может и стоит)
КР
Ну учитывая что там возможно чтение с диска, может и стоит)
Да, только оно в другом потоке + есть кэш, suspend там лишний.)
I
первый раз точно синхронно с диска считается
КР
первый раз точно синхронно с диска считается
Да
I
Но в принципе в НЕ чистых языках бесполезно размечать pure/impure
Ты обычно это всегда и так знаешь ( см статю Дегоза выше )
Ты обычно это всегда и так знаешь ( см статю Дегоза выше )
I
Всё равно считаю, что IO -> suspend это ошибка, т.к. про разное.
У вас ошибка в постулате suspend = async. А это не так.
(
О кек, спор про идиомы без меня