BV
О, я знаю, @eld0727 дай пример где тайпклассы на твой взгляд уместны, а @noraltavir напишет как решить это с помощью его решения
Size: a a a
2020 March 25
AN
О, я знаю, @eld0727 дай пример где тайпклассы на твой взгляд уместны, а @noraltavir напишет как решить это с помощью его решения
Я что-то такое и хотел предложить.
AO
Будет тут ваш полиморфизм, просто в интерфейсе определяются экстеншен методы с полиморфизмом вместе
Ну вот смотри простой пример использования тайпклассов
Эту функцию я могу вызвать для любого типа на котором определён моноид, как тот кип сюда приплести?
def add[T: Monoid](a: T, b: T): T = a + b
Эту функцию я могу вызвать для любого типа на котором определён моноид, как тот кип сюда приплести?
AZ
Моноид фигня) Вот какой-нибудь CoMonad интереснее)
AO
Моноид фигня) Вот какой-нибудь CoMonad интереснее)
да не суть, механизм диспатчеризации должен быть одинаковый +-
AZ
да не суть, механизм диспатчеризации должен быть одинаковый +-
Resolve типов разный. Monoid можно и в чистом kotlin на интерфейсах описать. Будет выглядеть по использованию один в один. А вот контейнерные типы
AO
Но это не самое интересное, как предлагается проварачивать такие вещи:
1) У меня есть моноид для int
2) У меня есть моноид для ?
3) Как на этом подходе сделать add(1, null)?
1) У меня есть моноид для int
2) У меня есть моноид для ?
3) Как на этом подходе сделать add(1, null)?
AN
Ну вот смотри простой пример использования тайпклассов
Эту функцию я могу вызвать для любого типа на котором определён моноид, как тот кип сюда приплести?
def add[T: Monoid](a: T, b: T): T = a + b
Эту функцию я могу вызвать для любого типа на котором определён моноид, как тот кип сюда приплести?
Это не тайп-классы уже, а HKT, но давайте попробуем:
interface Summator<T>{
operator fun T.plust(other: T)
}
use Summator<Complex>
val a: Complex
val b: Complex
val c = a + b
AO
Это не тайп-классы уже, а HKT, но давайте попробуем:
interface Summator<T>{
operator fun T.plust(other: T)
}
use Summator<Complex>
val a: Complex
val b: Complex
val c = a + b
Где тут HKT?
AO
Это не тайп-классы уже, а HKT, но давайте попробуем:
interface Summator<T>{
operator fun T.plust(other: T)
}
use Summator<Complex>
val a: Complex
val b: Complex
val c = a + b
И да я предвидел этот вариант и кинул ситуацию выше
AN
В принципе можно то же делать с дженериками, но надо думать про синтакс и бордер кейсы
AO
Ну то есть оно не решает тех же проблем, да можно будет несколько лучше делать абстракции, но это не тайп классы
AO
И без хкт я опять немного начал страдать и тонуть в бойлерплейте в своей либе
AN
Ну то есть оно не решает тех же проблем, да можно будет несколько лучше делать абстракции, но это не тайп классы
Это декларация extension интерфейсов. Если добавить туда дженерики - будут тайп классы. Но тут надо придумать, как добавить
AN
В принципе и дженерикам ничего не мешает, но синтаксис может усложниться
BV
Это не тайп-классы уже, а HKT, но давайте попробуем:
interface Summator<T>{
operator fun T.plust(other: T)
}
use Summator<Complex>
val a: Complex
val b: Complex
val c = a + b
Но опять нет реализации
AN
Но опять нет реализации
Реализация подставляется в точке вызова явно
BV
Реализация подставляется в точке вызова явно
Ну там ведь в примере есть точка вызова
AN
Ну там ведь в примере есть точка вызова
да
BV
А реализации нет