ealekseev May 3 2012 at 13:32

Андрей Бреслав — Язык Kotlin для платформы Java

1 min

13K

JetBrains corporate blogJava*Kotlin*

+32

Comments 25

artspb May 3 2012 at 14:57

Присутствовал, было интересно. Рекомендую к просмотру!

cblp May 3 2012 at 16:02

Низкое разрешение, код еле видно.

cblp May 3 2012 at 17:51

Почему-то никто не спросил самого главного в примере с JFrame: как уживаются в одной программе класс и функция с одним именем JFrame?

abreslav May 3 2012 at 18:21

В этом нет никакой проблемы: конструкторы классов и функции живут в одном пространстве имен (в Kotlin нет оператора new), и имена разрешаются точно так же как обычные перегруженные функции.

Foror May 3 2012 at 22:34

Как оно работает с java фреймворками, которые подмешивают байт-код? Hibernate, Tapestry 5 — пускал кто-нибудь?

abreslav May 3 2012 at 22:54

Мы не пробовали, но принципиальных проблем быть не должно: Kotlin генерирует такой же байт-код, как и Java

Foror May 4 2012 at 07:36

В tapestry5 есть требование к определенной группе классов, чтобы их поля были только private, иначе он не сможет правильно с ними работать. Если я сделаю объявление val или var, что будет в байт-коде? Примешаются get/set методы, а как будет объявлена видимость поля в байт-коде?

Foror May 4 2012 at 07:53

Ага, кажется вижу, можно объявлять доступ к полю явно, а по умолчанию какой доступ?

abreslav May 4 2012 at 08:49

Явно можно задавать уровень доступа к свойству, то есть к методам get и set, а поле всегда остается приватным

abreslav May 4 2012 at 08:47

Доступ к полю всегда будет private.

Foror May 3 2012 at 22:36

Успеют релиз до выхода Java 8? Может к тому времени и не нужно будет…

-1

asm0dey May 3 2012 at 22:39

Вот в такие моменты я жалею, что живу в мск, а не в питере. Очень интересуюсь языком, очень хочу на нем писать (пока выявилась какая-то досадная несовместимость с Vaadin'ом), очень жду плагина к клипцу.

abreslav May 3 2012 at 22:55

А у нас, между прочим, есть офис в Москве и даже один из разработчиков Котлина там работает…

asm0dey May 3 2012 at 22:56

Это круто, да, но
а) я для вас условной мордой условно не вышел (Это я про работу у вас)
б) интересные встречи про котлин вы выдыте в Питере.

asm0dey May 3 2012 at 22:57

*ведёте

abreslav May 3 2012 at 23:05

12 мая делаю доклад в Москве: www.addconf.ru/event.sdf/ru/add_3/authors/594/595

Foror May 4 2012 at 08:32

Ну так ничо, интересненько :) Давно ждал чего-то подобного, чего-то среднего между скала и груви. Запилите еще что-нибудь интересное с тредами, так может и Go не нужен будет :)

worker4food May 8 2012 at 02:19

Как я понял, добавление алгебраических типов(АТД, для избежания путаницы терминов) не планируется? Тем более, что во второй части вы показываете эмуляцию на «трэйтах», которая приводит ужасному последнему кейсу в «when» — throw new Exception(), который ничем не лучше NPE, с которым вы ведете яростную борьбу. Ведь после реализации АТД можно получить бесплатно статически верифицируемый паттерн матчинг на них.
Планируется ли документация по правильному написанию оберток для вызова Javascript функций? Из исходников трудно понять, что значит, например, «js.noImpl».
Планируется ли документация или гайд по написанию трансляторов в другие языки?

P.S. Flow dependent typing — это круто, даже если сейчас это ad-hoc реализация для частных случаев.

abreslav May 8 2012 at 10:56

1. Не совсем. В текущей версии дизацна запланированы GADT, под менем enum-классов. Они частично уже поддержаны, частично будут, скорее всего, поддержаны позже.

Однако я бы не демонизировал так выбрасывание исключений в последней ветке. Это обычный assertion: упадет и все, а вот NPE — это бомба замедленного действия: когда упадет, не понятно, в чем его причина.
2. Да, конечно
3. Скорее нет, чем да, а что именно Вас интересует?

worker4food May 8 2012 at 22:26

Спасибо за объяснения, интересует трансляция в PHP. Раз Ваша команда взялась за Javascript, то динамическая типизация не создает неразрешимых проблем.