Всем добрый день. Вопрос по взаимодействию Scala - Kotlin: 1. Есть

Question

Всем добрый день. Вопрос по взаимодействию Scala - Kotlin: 1. Есть

в Scala такой тип: EitherT[F[_], A, B] (monad transformer, но это не сильно важно).
2. Есть его конкретизация: EitherT[Future, A, B], которую надо возвращать из Kotlin кода (в Kotlin тип должен выглядеть как EitherT<Future, A, B>).
Проблема: Future - обобщённый тип (generic), соответственно, Kotlin не позволяет возвращать EitherT<Future, A, B>, можно только EitherT<Future<*>, A, B> (EitherT[Future[_], A, B] в Scala).
При этом Scala не понимает, что EitherT[Future, A, B] и EitherT[Future[_], A, B] - практически одно и то же, поэтому вся map/flatMap машинерия для EitherT[Future[_], A, B] перестаёт работать: типы не выводятся.

Вопрос: есть ли хоть какая-то возможность (аннотациями, настройками kotlinc или ещё как) сказать kotlin компилятору, что возвращаемый тип, с точки зрения скомпилированного class файла, должен быть EitherT<Future, A, B>, а не EitherT<Future<*>, A, B>?

#kotlin #programming #russian

0

03.02.2022

6 ответов

17 просмотров

Andrey Antipov Автор вопроса

Agry Gami
Т.е. у вас есть некий метод реализованный в котлин...

В том, что "внутри" EitherT обёртки лежит value с типом Future[_][Either[A, B]] с точки зрения системы типов Scala, а должно лежать Future[Either[A, B]], соответственно, при попытке это "развернуть", а она происходит в каждом map/flatMap неявно, вместо аргумента типа B на вход лямбды приходит аргумент типа Any

0

03.02.2022

Agry Gami

Andrey Antipov
В том, что "внутри" EitherT обёртки лежит value с ...

Что-то стало ещё хуже понятней :) что значит "лежит value с типом Future[_][Either[A, B]]"? кто тут на ком стоял?

0

03.02.2022

Andrey Antipov Автор вопроса

Agry Gami
Что-то стало ещё хуже понятней :) что значит "лежи...

final case class EitherT[F[_], A, B](value: F[Either[A, B]])

0

03.02.2022

Aλex Sokol

Agry Gami
Т.е. у вас есть некий метод реализованный в котлин...

EitherT – тип с HKT и ему нужен не параметризованный тип, а параметризуемый одним параметром тип

0

03.02.2022

Aλex Sokol

а если в джава вернуть тип с Raw Generic, то из неё заработает?

0

03.02.2022

Agry Gami · Accepted Answer

Т.е. у вас есть некий метод реализованный в котлине с сигнатурой fun <A,B> myMethod():EitherT<Future<*>, A, B> Вы вызываете его в скале и получаете тип EitherT[Future[_], A, B] что в общем эквивалентно описанию в Kotlin`е... не очень понятно почему вдруг от этого ломается машинерия, точнее в чём эта поломка выражается?

169 похожих чатов

Всем добрый день. Вопрос по взаимодействию Scala - Kotlin: 1. Есть

6 ответов

Похожие вопросы