Если использовать асинхронную отправку, то сложно в рх встроить

ну можно в rx тоже самое сделать, получится Single.from({subsriber -> })

И?

Как это позволяет использовать асинхронный клиент?

блин, легко.

может я не понимаю чего-то. на rx можно это записать и будет даже нагляднее

Пришли небольшой пример

я бухой, завтра подумаю

я бухой, завтра подумаю

? эх

я в целом рассуждаю: мне кажется, что поток событий, операторы и шедулеры понятнее и мощнее, чем корутины

Я без претензии, я может что-то про рх не знаю, но вот насколько я понимаю, они работают немного по другому

я в целом рассуждаю: мне кажется, что поток событий, операторы и шедулеры понятнее и мощнее, чем корутины

Типа речь о каналах, там это все тоже есть

Поясните кто-нибудь, пожалуйста, что я делаю не так?

val

Val

Кошмаааар, пора домой. Спасибо!

Даже идея тебе намекала ?

Пока я не написал это самое "is Derived -> " -- val тоже будет неиспользуемым, потому я уже внимание не обращаю на этот серенький и подчёркнутый текст.

я в целом рассуждаю: мне кажется, что поток событий, операторы и шедулеры понятнее и мощнее, чем корутины

В том и дело, что мне тоже нравится рх, но каналы могут (пока если немного руками поработать) все это и намного безопаснее и без бэкпрешер

Ребята, а может кто-то коротко и толково изложить, что есть это "suspend"? А то я не очень понимаю

Если совсем просто, то при вызове suspend-функции ей в коллбек передается continuation - все, что находится в вызывающей функции после вызова Как thenApply в CompletableFuture Внутри все немного сложнее, конечно, но это самое простое объяснение

не вдавался в каналы глубоко. завтра почитаю...

https://stackoverflow.com/questions/42066066/how-kotlin-coroutines-are-better-than-rxkotlin по теме

Спасибо

Спасибо

Если интересно глубже, вот: https://youtu.be/HYhJmK9nKS4 https://youtu.be/fd9EVSxINKw

Как это позволяет использовать асинхронный клиент?

Да можно использовать “асинхронный клиент” даже если оно на корутинах fun loadDataRx(url: String): Single<String> = rxSingle { loadData(url) } suspend fun loadData(url: String): String = … Просто берешь kotlinx-coroutines-rx2

Да можно использовать “асинхронный клиент” даже если оно на корутинах fun loadDataRx(url: String): Single<String> = rxSingle { loadData(url) } suspend fun loadData(url: String): String = … Просто берешь kotlinx-coroutines-rx2

"kotlinx-coroutines-rx2" - это вторая попытка?

Вторая попытка правильно задизайнить реактивные стримы в rxjava (rxjava 2.0)

Вторая попытка правильно задизайнить реактивные стримы в rxjava (rxjava 2.0)

плюсую, тоже самое хотел написать)

Имхо вышло еще хуже. По крайней мере методов стало 2 раза больше (чем нужно) + куча левых типов стримов.

Вторая попытка правильно задизайнить реактивные стримы в rxjava (rxjava 2.0)

ну я про это и подумал, решил просто спросить, и как успехи ? И кто этим занимается?

Да можно использовать “асинхронный клиент” даже если оно на корутинах fun loadDataRx(url: String): Single<String> = rxSingle { loadData(url) } suspend fun loadData(url: String): String = … Просто берешь kotlinx-coroutines-rx2

Мы про наоборот говорили, как с корутинами корутины использовать вроде и так всем понятно

К тому же, суть рх от этого не меняется, каналы работают немного по другому

вроде поборол MDCContext, но реализация пока не сильно нравится

class Mdc(private val ctxt: Map<String, String>) : AbstractCoroutineContextElement(Mdc) { companion object Key : CoroutineContext.Key<Mdc> fun apply() = MDC.setContextMap(ctxt) } launch(newSingleThreadContext("main") + Mdc(MDC.getCopyOfContextMap())) { coroutineContext[Mdc]?.apply() ...

надо через интерцепторы попробовать сделать

https://gist.github.com/enleur/1b552483c7a540c7d29ea1f9c64f5e06

как-то так

чуваки, ничё если я тут попродвигаю годный пропозал?

https://github.com/Kotlin/KEEP/pull/87

TL;DR Чуваки запилили либу с поддержкой HKT и тайпклассов на Kotlin. Сделано оно всё сейчас через annotations processing и кодогенерацию, выглядит местами жутковато но в целом охуенно. Но на этом они не остановились и решили запилить форк компилятора с поддержкой тайпклассов на уровне языка. Ну и соответствующий пропозал запилили, ссылка выше.

В общем призываю почитать и полайкать пропозал, поучаствовать в дискуссии и всё такое

А можно Вас попросить немного ссылок для нубов в теории категорий?

TL;DR Чуваки запилили либу с поддержкой HKT и тайпклассов на Kotlin. Сделано оно всё сейчас через annotations processing и кодогенерацию, выглядит местами жутковато но в целом охуенно. Но на этом они не остановились и решили запилить форк компилятора с поддержкой тайпклассов на уровне языка. Ну и соответствующий пропозал запилили, ссылка выше.

А в чем преимущество тайпклассоов?

https://m.habrahabr.ru/company/tinkoff/blog/147759/

А в чем преимущество тайпклассоов?

Ну это такие интерфейсы на стероидах.

Во-первых, класс ничего не знает об инстансах. То есть можно определить свою реализацию тайпкласса для класса, определённого в другом модуле или вообще другой библиотеке. Не "классы наследуются от тайпклассов", а "инстансы реализуют тайпклассы для классов", как-то так. Это удобно, поскольку делает механизм "наследования" (не совсем классического, поэтому в кавычках) более удобным для расширения сущностей новым поведением.

Во-вторых, инстанс тайпкласса представляет собой отдельный объект, это решает проблему с тем что в интерфейсах нельзя описывать статические методы.

Звучит интересно, но нужно смотреть на семплах потому что пока не очень понятно, т.к все что я могу предоставить это метод, написанный через экстеншены (чтобы из другого модуля юзать например) с дефолтными параметрами, которые принимают интерфейс чтобы что то сделать. Вот как то так я себе это вообразил, но думаю что ошибаюсь

Звучит интересно, но нужно смотреть на семплах потому что пока не очень понятно, т.к все что я могу предоставить это метод, написанный через экстеншены (чтобы из другого модуля юзать например) с дефолтными параметрами, которые принимают интерфейс чтобы что то сделать. Вот как то так я себе это вообразил, но думаю что ошибаюсь

В пропозале есть примеры, в том числе пример с compile-time dependency injection, который сейчас можно сделать только через кодогенерацию на основе аннотаций.

Могу ещё сюда примеров напридумывать.

Ок, спасибо, поизучаю сегодня) Я думаю не нужно, думаю разберусь, если что - напишу

А можно Вас попросить немного ссылок для нубов в теории категорий?

Конкретно содержание пропозала никак с теоркатом не связано) А если ты про саму либу, то могу накидать ссылок из туторов по хаскелю, там в общем-то ничего сложного и опять-таки чтобы основные концепции понять никакой теории категорий не нужно, в теоркат скорее можно полезть потом если интересно будет откуда всё это в том же хаскелле появилось)

А можно Вас попросить немного ссылок для нубов в теории категорий?

Документация Arrow – http://arrow-kt.io/docs/ Тут пока не все разделы заполнены, но начать наверное лучше отсюда. Understanding Monads – https://en.wikibooks.org/wiki/Haskell/Understanding_monads Гайд который даёт базовое понимание что такое вообще монада и какой практический смысл этой абстракции, ну и дальше в подразделах описание реализаций самых используемых монад. Typeclassopedia – https://wiki.haskell.org/Typeclassopedia Описание различных тайпклассов в Haskell (но большая часть применима и к Arrow) и их взаимосвязей. Главы из Haskell Book Антона Холомьёва – http://anton-k.github.io/ru-haskell-book/book/6.html, http://anton-k.github.io/ru-haskell-book/book/15.html Тут на русском, первая ссылка просто про функторы и монады, вторая про то же но с точки зрения теории категорий, если будет интересно.

Документация Arrow – http://arrow-kt.io/docs/ Тут пока не все разделы заполнены, но начать наверное лучше отсюда. Understanding Monads – https://en.wikibooks.org/wiki/Haskell/Understanding_monads Гайд который даёт базовое понимание что такое вообще монада и какой практический смысл этой абстракции, ну и дальше в подразделах описание реализаций самых используемых монад. Typeclassopedia – https://wiki.haskell.org/Typeclassopedia Описание различных тайпклассов в Haskell (но большая часть применима и к Arrow) и их взаимосвязей. Главы из Haskell Book Антона Холомьёва – http://anton-k.github.io/ru-haskell-book/book/6.html, http://anton-k.github.io/ru-haskell-book/book/15.html Тут на русском, первая ссылка просто про функторы и монады, вторая про то же но с точки зрения теории категорий, если будет интересно.

без толковых гайдов и примеров, либа не стоит свеч

без толковых гайдов и примеров, либа не стоит свеч

Ну думаю всё будет со временем, может я попробую поконтрибьютить в документацию

хочу попробывать kotlin\native, но я так понимаю без CLion не обойтись? Но она платная, можно какие-нибуть альтернативы?

чуваки, ничё если я тут попродвигаю годный пропозал?

Чет баян. Думал они совсем забили, ан нет таки начали компилятор пилить.

хочу попробывать kotlin\native, но я так понимаю без CLion не обойтись? Но она платная, можно какие-нибуть альтернативы?

Вот же тут раздают бесплатный триал на 4 месяца для “early adopters” - думаю хватит что бы попробовать. https://blog.jetbrains.com/kotlin/2017/12/kotlinnative-plugin-update/

Вот же тут раздают бесплатный триал на 4 месяца для “early adopters” - думаю хватит что бы попробовать. https://blog.jetbrains.com/kotlin/2017/12/kotlinnative-plugin-update/

спасибо

хотел идти создавать issue в репу котлина на тему того что какого чёрта нельзя дата классы с пустым списком аргументов делать нагуглил что до 1.0 оно было, потом депрекейтнули

хотел идти создавать issue в репу котлина на тему того что какого чёрта нельзя дата классы с пустым списком аргументов делать нагуглил что до 1.0 оно было, потом депрекейтнули

А в этом есть смысл?

да, когда речь идёт о дженериках например

да, когда речь идёт о дженериках например

Для чего?

сейчас Option реализуют в том же Arrow так: sealed class Option<out T> data class Some<T>(value: T): Option<T>() object None: Option<Nothing>()

кто скажет почему эта реализация неправильная?)

Посути для дата класса джкенерик должен быть определен

Или попробуй refield но он с инлайном

мне кажется ты немного не понял о чём я

Почему обычный класс не заюзать?

обычно вместо пустых дата-классов создают просто object

обычно вместо пустых дата-классов создают просто object

И ты можешь сделать просто Any

Ага

И ты можешь сделать просто Any

вооот, или Nothing как в примере выше

суть в том что возвращаясь к реализации Option выше - это неверно)

Ну так дата класс это уже что то определеное

ну если с оглядкой на Haskell делать (извините), то None тоже должен быть типизирован

то есть None<Int> нельзя присвоить туда где должен быть Option<String>

Котлину нужно ведь сгенерить методы для него

Убери дата для начала

Суть же data classes в том, что будут сгенерены методы опираясь на поля класса. А если их нет, то выходит и нет в надобности наличия data класса

Убери дата для начала

и придётся самому реализовывать toString и equals например

ведь если я сделаю class None(), то None() != None()

ящитаю пустой дата-класс должен быть по семантике примерно как датакласс содержащий юнит

ну типа data class None(val _dummy: Unit = Unit), как-то так, только toString() другой

это действительно сделало бы жизнь в некоторых моментах чуть проще

а минусов никаких не вижу

Вообще, тут проблема ещё у вас в другом. Скажите, как вы собираетесь использовать после sealed класс?

ну я же пример кинул, это стандартный Option

Потому что добавив там дженерик вы уже делаете что-то странное

Я к тому, что такая задача уже поставлена не верно

Потому что добавив там дженерик вы уже делаете что-то странное

неа, это нормальная практика для реализации Option)

Вообще, тут проблема ещё у вас в другом. Скажите, как вы собираетесь использовать после sealed класс?

Человек фигню делает, сам таким занимаюсь, но вижу не получается пишу по другому

я к тому что в нормальных языках это делается нормально

А Котлин — не нормальный?)