(
Да в принципе неважно, решается оно там чем-то или нет, просто зачем мне в то, что решается дешугарингом, пихать ещё и корутины. Я кстати никогда и не утверждал, что do-нотация нужна в языке @ilmirus
Size: a a a
2020 July 25
I
Опасность, насколько я понял, решается мультифаером, отсутствие которого — техническое решение, а не концептуальное. @ilmirus может меня поправить.
Мультифайр можно сделать через рефлексию
IO
AN
I
AN
Опасность, насколько я понял, решается мультифаером, отсутствие которого — техническое решение, а не концептуальное. @ilmirus может меня поправить.
Мультифаер можно сделать хоть сейчас. Ключевая проблем - гарантировать восстановление контекста и того ,что все объекты в нем восстанавливаемые.
(
Эм. А цепочки flatMap ручками писать каждый раз? Это же полный пиздец.
бля, да причем здесь монады? Я пример привел, какие контракты можно было бы накладывать, необязательно именно монадические, просто они сразу вспоминаются
AM
А можно конкретнее?
Там библиотечка, которая построена вокруг джавового Proxy. Отдаёшь ей интерфейс с набором методов, где каждый соответствует конкретному вызову HTTP API. Респонсы описываются модельками В качестве типа возврата такому методу можно указать на выбор:
* Саму модельку. Будет синхронный вызов.
* Response<моделька>. Синхронный вызов, с которого можно забрать статускод и метаданные респонса, а также модельку.
* Single<моделька>.
* CompletableFuture<моделька>.
* ListenableFuture<моделька> (Guava).
* scala.concurrent.Future<моделька>.
Под это дело пишутся адаптеры, которые берут тип возврата функции и выполняют запрос + формируют ответ для вызывающего кода в конкретном виде.
А ещё можно пометить функцию как suspend. И под это пришлось писать костыль в самом ретрофите.
Как-то так.
* Саму модельку. Будет синхронный вызов.
* Response<моделька>. Синхронный вызов, с которого можно забрать статускод и метаданные респонса, а также модельку.
* Single<моделька>.
* CompletableFuture<моделька>.
* ListenableFuture<моделька> (Guava).
* scala.concurrent.Future<моделька>.
Под это дело пишутся адаптеры, которые берут тип возврата функции и выполняют запрос + формируют ответ для вызывающего кода в конкретном виде.
А ещё можно пометить функцию как suspend. И под это пришлось писать костыль в самом ретрофите.
Как-то так.
AN
@ilmirus До меня вдруг только что дошло, что я на самом деле это уже сделал в одном частном случае - форкающихся генераторах случайных чисел. Там как раз на каждую новую корутину идет ветвление генератора автоматом в контексте.
BP
Ильмир в скором времени вообще джыэсом займётся, передав дела по корутинам.
Ты страдаешь мазохизмом ? :D
AM
Мультифаер можно сделать хоть сейчас. Ключевая проблем - гарантировать восстановление контекста и того ,что все объекты в нем восстанавливаемые.
Я о безопасном мультифайре, ясен хрен.
AN
Там библиотечка, которая построена вокруг джавового Proxy. Отдаёшь ей интерфейс с набором методов, где каждый соответствует конкретному вызову HTTP API. Респонсы описываются модельками В качестве типа возврата такому методу можно указать на выбор:
* Саму модельку. Будет синхронный вызов.
* Response<моделька>. Синхронный вызов, с которого можно забрать статускод и метаданные респонса, а также модельку.
* Single<моделька>.
* CompletableFuture<моделька>.
* ListenableFuture<моделька> (Guava).
* scala.concurrent.Future<моделька>.
Под это дело пишутся адаптеры, которые берут тип возврата функции и выполняют запрос + формируют ответ для вызывающего кода в конкретном виде.
А ещё можно пометить функцию как suspend. И под это пришлось писать костыль в самом ретрофите.
Как-то так.
* Саму модельку. Будет синхронный вызов.
* Response<моделька>. Синхронный вызов, с которого можно забрать статускод и метаданные респонса, а также модельку.
* Single<моделька>.
* CompletableFuture<моделька>.
* ListenableFuture<моделька> (Guava).
* scala.concurrent.Future<моделька>.
Под это дело пишутся адаптеры, которые берут тип возврата функции и выполняют запрос + формируют ответ для вызывающего кода в конкретном виде.
А ещё можно пометить функцию как suspend. И под это пришлось писать костыль в самом ретрофите.
Как-то так.
Ну так это уже не корутины, а компиляторная обвязка под конкретную либу поверх корутин.
I
Из этого я понял, что ты хочешь монады. Я тебе говорю, что можно попрыгать и сделать. Но будет не идиоматично. Приведи тогда другой пример, который нельзя саспендами покрыть.
IO
Ильмир в скором времени вообще джыэсом займётся, передав дела по корутинам.
F
(
Из этого я понял, что ты хочешь монады. Я тебе говорю, что можно попрыгать и сделать. Но будет не идиоматично. Приведи тогда другой пример, который нельзя саспендами покрыть.
Все, теперь я понял, что ты изначально не понял мой посыл
(
Сейчас распишу
AM
Ну так это уже не корутины, а компиляторная обвязка под конкретную либу поверх корутин.
Речь не об обвязке под конкретную либу, речь о том, что саспенды выбиваются из ряда решений для построения асинхронности, и код с контрактами, покрывающими монадоподобные фьючи, под саспенды в лучшем случае (Proxy / кодген) придётся писать отдельный, в худшем это вообще невозможно унифицировать.
I
Ответ всем, кто ответил про мои планы заняться джиэсом: да, я знаю, что там пиздец. Вот этот пиздец я хочу хоть немного улучшить. В частности, добавить поддержку воркеров.
AM
Но Егор щас напишет свои мысли и наверняка донесёт свою мысль лучше меня.