вопрос по Котлину

[juan_gandhi]

Как вообще определить какой-нибудь, скажем, <code>interface Magma<T></code>, с единственной операцией, чтобы можно было расширять классы, делая их магмами. Те же Int, String, List, все такое. И чтобы можно было вообще писать <code>fun something<T : Magma>(T a, T b) {...}</code>

Пробовал и так и сяк. Что-то не получается, чтобы элементарно. Понятно, что я Котлин еще не усвоил. Но вообще богатый язык. Богатый.

Comments

[chabapok]

Можно написать на жава код, скопипастить в .kt и идеа сама переведет его в котлин и вы увидите как оно пишется.

[malacasa]

Никак, им такое не завезли. Пишут просто ad-hoc-расширения и готово.

[epimorphisms_split]

Это типичный type class, Котлин их вроде напрямую не поддерживает, но есть Arrow-kt https://arrow-kt.io/

https://arrow-kt.io/docs/arrow/typeclasses/semigroup/