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

> ориентированный на энтерпрайз

На промышленное использование, епт.

Да, так правильно.

Во-первых, не нужно. Есть Groovy/Scala/Clojure/JRuby и так далее.

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

языки под jvm плодятся с пугающей быстротой. чем им scala не угодила?

В нём есть функции!!!

чем им scala не угодила?

Очевидно, сложностью.

Reified generics!!!

Ололо. Я думаю, они еще и превосходную поддержку запилят. Будет интересно.

> чем им scala не угодила?

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

очевидно, кому сложно, может дальше использовать православную жабу же

> Reified generics!!!

На JVM? Но как?

Хотя, можно через массивы извратиться.

как будто на scala нельзя написать ни одного скрипта без использования Existential types. с каких пор это showstopper?

Видимо, есть достаточно много товарищей, кому жабы мало, а скалы слишком много.

>Во-первых, не нужно.

Плюсую.

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

Минусую: Project Kotlin was born in Saint Petersburg, Russia, where one of the main JetBrains' development offices is located. Kotlin is the name of an island situated nearby Saint Petersburg, in the Gulf of Finland, with a beautiful town of Kronstadt build upon the island.

P.S. Остров Котлин.

> What Kotlin has that Scala has not

Automatic casts

Какой-то недо-pattern matching

Static extension functions

Достигается неявными преобразованиями. Да и вообще сомнительная фича

Inline functions

Забота компилятора, я об этом вообще думать не должен

String templates

Наглая ложь. Есть это в Scala. «Hello, %s!».format(«world»)

First-class delegation

Опять же достигается неявными преобразованиями.

Modules

Есть packages, objects и package objects

Перегрузка операторов — ЗЛО.
Отсутствие проверяемых исключений — ЗЛО.

Хоть синтаксис вменяемый, и то радует.

Отсутствие проверяемых исключений — ЗЛО.

Интересно, сколько ты на яве писал и чего, раз они так по нраву.

теперь понятно, почему так преуспела конторка iBM -)

неявными преобразованиями

явное лучше неявного

> язык для JVM
Чтоб их.

паскаль какой-то

Чем это перегрузка зло?

> явное лучше неявного

… если тебя зовут Гвидо.

для меня тоже лучше.

+

Inline functions

Забота компилятора, я об этом вообще думать не должен

любители high performance и high load смотрят на тебя с негодованием!

>На JVM? Но как?

Ничего сложного тут нет.

if (l is CoolList<String>)

компилится в что-то вроде

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

естественно с теми кто это $typeinfo не вкомпилил халявы не будет.

Пожелаем этой поделке быстрой и легкой смерти.

>Хоть синтаксис вменяемый, и то радует.

class object : A(1)

private var a = 1
get() {
return 5
}

?

сомнительно.

А чё, симпатичная смесь паскалеподобного и сишного.

Угу.

На алгебраические типы смотреть нельзя без содрогания, по сравнениию с «аналогами». Деконструкторы ихние..... Они даже Maybe не осилели.

У меня есть подозрения что сами они скалу знают по туториалам окторые начали читать уже после того как их собственный «индустриальный» язык был наполовину готов - потому и выглядят штуки которые они там вычитали как будто их скотчем примотали.

любовь к введению ключевых слов опять же.... пора бы повзрослеть.

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

а - это у них аннотации - ну тогда не все так плохо.

Extension functions это хорошо. Анонимные функции + extentions рулят.
Хотя сделали бы уж C# для Java и не мучились. Даже без LINQ

На алгебраические типы смотреть нельзя без содрогания

а что с ними не так

просто я не асилил, tl;dr

вроде обычные типы с автобоксингом?

сделали бы уж C# для Java

есть какой-нибудь годный ман, «как написать свой язык для JVM»?

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

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

>есть какой-нибудь годный ман, «как написать свой язык для JVM»?
конечно нет.
из свободного есть PRE/TGE которое нацелено на Parrot

важны для контрактного программирования,

Резонно. Это они так задумывались. Но увы, стандартная библиотека и чужой код ведут к порочным практикам. Слишком часто приходится ловить чекед исключения в месте, где их нельзя (или не нужно) обработать.

Ей богу, лучше бы в javaдоках писали какие исключения могут броситься, а умные IDE делали соответствующие проверки и *предупреждали*.

> конечно нет.

почему? т.е., почему «конечно»?

из свободного есть PRE/TGE которое нацелено на Parrot

Чото не гуглится. Есть ссыль?

TGE - это случаем не генератор парсеров?

С тем же успехом можно юзать антлр или буст, но цимес-то не в этом

цимес в прямом формировании жава-байткода

погуглил, ничего круче Cafebabe не нагуглилось :( Т.е. сгенерить дерево, а потом перегнать кофием в байткод

интересно было бы именно гид по формированию байткода

блин. ну зачем же себе так ногу отстреливать

Надо их засудить. Котлин это остров на котором Кронштадт находится. Это НАШЕ!

цимес в прямом формировании жава-байткода

интересно было бы именно гид по формированию байткода

ASM смотрел?

>ASM смотрел?

+100500, и у него же в build.properties ещё куча аналогичного (и не очень) софта

А вообще доки по JVM почти достаточно...

есть какой-нибудь годный ман, «как написать свой язык для JVM»?

Компилируй в байткод хоть бейсик. По байткоду докоф всяких хоть завались.

>почему? т.е., почему «конечно»?
Иначе языков было-бы больше :)

Чото не гуглится. Есть ссыль?

http://en.wikipedia.org/wiki/Parrot_virtual_machine#Compiler_tools
http://parrot.org/
http://docs.parrot.org/parrot/devel/html/docs/book/pct/ch03_compiler_tools.po...

кратко: http://www.lohutok.net/talks/compiler_tools.pdf

> ASM смотрел?

еще нет, спасибо =)

Зачем нужна недоскала? Тут куча людей джаву не может осилить, а те, кто осилил и хотят большего, они и скалу вполне осилят.

> любители high performance и high load смотрят на тебя с негодованием!

Это всё и без инлайнов вполне себе пишется.