👍

Народу на удивление понравилось. Было небольшое обсуждение в котлин чатах.

Здравствуйте, товарищи.

Я тут всерьёз начал учить kotlin, и как действующий питонист не совсем втыкаю в generic'и, in, out, и это всё.
Предположим, я хочу написать функцию, которая будет получить либо лист листов со строками, либо лист листов с хешмапами, либо хешмапы, в которых ключ -- хешмапа mutableMapOf<MutableMap<String, String>, String>.

Проблема в том, что для мапы javaClass.isAssignableFrom(Collection) не труэ.
Изначальная идея была такая:

fun <T: Collection<Collection<Any>>> sampleCollection(arg: T)

Я понимаю, что задача притянута за уши, я её специально притянул, чтобы усложнить кейс.

PS. Где толково рассказывают про generic'и кроме котлиновского мануала?

fun <T: Collection<Collection<Any>>> sampleCollection(arg: T)

"либо лист листов со строками, либо лист листов с хешмапами, либо хешмапы, в которых ключ -- хешмапа" с точки зрения Котлин очень не просто сделать и лучше не делать. Проекции тут не помогут

С точки зрения котлин лучше сделать перегрузку функции с разными типами аргумента, при этом там дженерики не нужны совсем.

В смысле проекции

Котлиновские дженерики лежат на плечах у джава дженериков. Так что для полного понимания нужно изучить джава дженерики. Главное это понять что такое type erasures. Ну а вариантность и ковариантность понять не сложно, только покурить нужно :)

Окей, спасибо. Погляжу в джаву сначала :)

Не надо, во-первых проекции другие, во вторых хватит все время в джаву смотреть.

Вы официальную документацию читали? По ней есть вопросы? Просто ваш пример вообще для котлин не годится

Саша, ты громкие заявления делаешь. Весь Котлин на джаве. Пока у Котлина не будет своего рантайма, без хорошего знания джавы/jvm никогда не будешь понимать хорошо Котлин. Не будь так категоричен.

Почитал, конечно. Просто я предпочитаю ставить сложную задачу, которую я точно не знаю как решать :)

Нет. Котлин - это Котлин. Я преподаю этот язык, и у питонистов он отлично ложится без всякой джавы

Ну надо ставить корректную задачу. В случае, скажем листа листов интов, будет List<List<Int>>. Тут ничего сложного. Проекции лучше оставить на потом, они действительно довольно сложные.

С коллекциями я это сделал тогда ещё. Интересно же исследовать границы возможного )

Ещё доброшу вопрос. На днях я изрядно пострадал с querydsl + hibernate, потому что querydsl не умеет в hibernate старше 5.2, потому что там какая-то возня на гитхабе за право альфа-коммитера. Потом я решил сбросить обороты и поставить hibernate-types, потому что хотелось в orm видеть array'и постгресовские. Сбросил hibernate до 5.2. Поскольку у меня 11 джава из которой повыпиливали всякие javax, пришлось по exception'ам смотреть в гугл и узнавать что там вообще выпилили. Квест я выполнил. Вопрос такой: есть ли какая-то штука, которая умеет это всё делать автоматически?)

Про JVM надо знать про мониторы, потоки, боксинг и так далее. Но во-первых это JVM, а не Java, а во-вторых, это этап оптимизации приложения, а не изучения языка.

Скорее для понимания какие есть библиотеки и если уже лезть в их сорцы, там джава нужна

Опять же надо пример взять корректный. Корректно напиример исследовать List<out Number> и работать, скажем, с Double

Это - это что? Не совсем понял