Новый язык для JVM от JetBrains

> if (l instanceOf List && l.$typeinfo.parameter[0].isClass(String.class)) ....

Фи, какой удар по интероперабельности с Java.

инлайнов

ты правда не знаешь, зачем нужен инлайн, или притворяешься?

>Проверяемые исключения важны

подумай почему ResultSet не Iterable. И забудь про проверяемые исключения.

>Фи, какой удар по интероперабельности с Java.

Интероперабельность все равно только до определенной степени. А жабе на эту тему жопой шевелить надо а не сидеть на ней.

>называть свои продукты на букву «K» — дурной тон, ибо возникают ассоциации с KDE

Это только если эта «K» не к месту или результат грамматической ошибки: Kalc, KDevelop, Klipper, digiKam и т.п.

Я знаю, зачем нужен инлайн. Я не знаю, зачем на него молиться.

Я знаю, зачем нужен инлайн. Я не знаю, зачем на него молиться.

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

> ну, чуваки читают ассемблер

Ассемблер JVM?

и фиксают ручной вставкой костылей типа инлайнов..

JVM сама инлайнит методы.

Джетбрэйнсам уже давно нечем заняться.

http://confluence.jetbrains.net/display/Kotlin/Comparison+to+Scala

у них нету Overridable type members — после этого язык можно не обсуждать, т.к. это есть даже в с++ и это нужно очень часто

при этом они умудрились еще и не реализовать стирание типов... интересно, че они вообще там делали

еще без Existential types тоскливо