Например?

Ну вот по списку тайпклассов.
Каждый из них не менее типичен-вездесущен, чем итерабле - просто мы пока не научены их видеть

а надо не только видеть, но и уверенно юзать

точно надо?

Где можно найти пример кода, который с ними короче/проще/понятнее, чем без них?

А это каждый за себя решает. Мне - надо

Дык это... без этих аццких фильтров-мапов тоже кое-кому до сих пор понятнее и проще

даа, были б вакансии на хаскеле, может и не пришлось бы за тайпклассы в котлине агитировать :)

Ну без фильтров мапов просто код больше получается, их плюсы для меня очевидны. А от монад и тайпклассов я пока пользы не вижу. Если она есть, хотелось бы ощутить на себе

Кому как. Мне тайпклассы нужны в первую очередь для себя, в т.ч. и умение собирать их из подручного материала

Чтобы навешивать конкретные операторы на существующие классы. К примеру, под один интерфейс с общим набором экстеншнов вы просто так не подведёте, к примеру, List и Observable из Rx. Кроме того, Arrow со своими kinds частично решает, насколько я знаю, ещё и отсутствие в языке селф-типов. Кому-то, к примеру, очень претит тот факт, что setOf(1, 2, 3).map { it * 2 } возвращает в котлине List<Int>.

Хочу отметить, что я не агитирую за то, что в котлине это необходимо, просто отмечаю, чем это может быть полезно, и почему этого могут хотеть другие.

Хаскель вообще короче котлина, в т.ч. и благодаря тайпклассам.
Но не понятнее - для тех, кто не потрудился овладеть базой для понимания.

А базой можно овладеть и здесь

Хаскель с котлином сравнивать бессмысленно, так как у них разный набор фичей, пусть и пересекающийся. Всё богатство котлина в HM не засунуть 🤷‍♂

HM это что?

А в хаскеле только HM разве?

Hindley-Milner, основа системы типов хаскеля.

Не в оригинальном виде, конечно.

Ага, дошло, спс
А чем котлин фундаментально богаче HM?

Наличием сабтайпинга как минимум.

Но это всё сильно похоже на начало холивара, которые по нашему опыту приводят ни к чему. Давайте не будем продолжать.