Ну доклад немного с пристрастием, такое чувство, поинт про то, что с котлиновскими корутинами мы сразу пишем правильно из-за структурного конкаренси не выдерживает критики, когда мы вспоминаем, что это colored functions.
идеологический биас естественно есть. я тут не стану Ромину сторону в этом вопросе занимать, потому что у меня у самого личные мнения на этот счёт хорошая штука colored functions или нет, на мой взгяд - это субъективщина
ИМХО главный минус этого в том, что приходится красить в по стеку выше.
ну вот кто-то считает что наоборот, это прям надо и так правильно
Все так, кмк, на бэкэнде применение stackless-корутин будет очень небольшое.
это гадание на кофейной гуще
Не говоря о том, что jep про structured concurrency тоже есть. Правда убогонький, но какой есть.
Его еще перепилят с Future на что то новое и надеюсь все будет красиво.
тут вопрос почему только одним цветом красим. Давайте аллокации в эффекты выводить, тотальность функции в ещё один, IO разделим по оттенкам - тут сеть, тут FS, тут доступ в память, а тут в кэш процессора. И вот у нас уже F*
Есть KEEP на эту тему)
😱 Ну хотя тайп астронавты везде найдутся
Ну это изнутри команды изыскания, а не скалисты набежали
Дада, Одерски тоже говорил что дотти это только эксперименты :D
да я смерть скалы еще давно предсказал
я в 2011 предсказывал смерть всем альтернативам
ты не верил
потому что неправда
думаешь Дима виноват ?
теперь правда
нет, не виноват, он же обратное предсказывал, а не то, что получилось
а что получилось?
получилось, что не умерла, хотя могла бы
лицо дотти сейчас готово к осмотру?
Обсуждают сегодня