Java vs Kotlin

[korvin]

Цитата amk @ 21.07.11, 15:04

Ну, интерпретатор обязан уступать в производительности.

ну питон щас как бы компилируется в байт-код, как и джава. насчет JIT-компиляции байткода в нейтив не знаю

[jack128]

динамика идет лесом.

[Romkin]

Цитата amk @ 21.07.11, 14:51

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

Это да, жесть. Но вроде в 3.3 обещаются сделать универсально.

[korvin]

Цитата jack128 @ 21.07.11, 17:29

динамика идет лесом.

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

[Повстанець]

Цитата korvin @ 21.07.11, 17:43

Цитата jack128 @ 21.07.11, 17:29

динамика идет лесом.

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

определение типов в рантайме идёт лесом.

[korvin]

Цитата Повстанець @ 21.07.11, 17:45

определение типов в рантайме идёт лесом.

дык я и спрашиваю статика уже научилась определять такие типы? в компайл-тайме? а раз нет -- то она идет лесом =)

[Повстанець]

Цитата korvin @ 21.07.11, 18:18

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

Как ты себе представляешь определение типа в компил-тайме? Если зависимость поведения от типа -- то научилась.

[D_KEY]

Цитата Guderian @ 21.07.11, 10:50

Почему не Scala vs Kotlin? Сами JetBrains именно с ней соревнуются.

ИМХО, особых преимуществ перед scala нет. Зачем тогда оно?

Добавлено 21.07.11, 20:08

Цитата zera @ 21.07.11, 11:20

еще есть groovy, интересно, почему с ним не сравниваются?

Цитата Romkin @ 21.07.11, 12:42

Питон все равно всех порвет

У них обоих динамическая типизация.

ИМХО, но "должен" быть некий "стэк языков" - язык для системной части(на случай низкоуровневых взаимодействий, оптимизация и т.п.), язык для прикладных задач(статическая строгая типизация, мощная система типов, богатые средства построения абстракций и т.п.), "скриптовый" язык(динамичный, гибкий, простой, лаконичный и т.п.).

[Guderian]

Цитата jack128 @ 21.07.11, 10:58

Guderian потому что если Kotlin станет на один уровень со Scala - значит он проиграл ;-) не выстрелила скала. только для гиков подходит, собственно потому jetbrains и упрощают Kotlin

И на какой рынок они тогда метят? PHP?

Цитата korvin @ 21.07.11, 17:43

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

Кто-то уже научился это использовать в практических целях?

Цитата D_KEY @ 21.07.11, 20:00

ИМХО, но "должен" быть некий "стэк языков" - язык для системной части(на случай низкоуровневых взаимодействий, оптимизация и т.п.), язык для прикладных задач(статическая строгая типизация, мощная система типов, богатые средства построения абстракций и т.п.), "скриптовый" язык(динамичный, гибкий, простой, лаконичный и т.п.).

Я ж говорю, .NET рулит)) Для второго есть вагон CLR-языков, для третьего - DLR (втч IronPython).

[korvin]

Цитата Guderian @ 22.07.11, 05:21

Кто-то уже научился это использовать в практических целях?

в Racket довольно широко используется

[IL_Agent]

Цитата korvin @ 21.07.11, 17:43

определять типы произвольным предикатом

А что имеется в виду ?

[korvin]

Цитата IL_Agent @ 22.07.11, 08:18

Цитата korvin @ 21.07.11, 17:43

определять типы произвольным предикатом

А что имеется в виду ?

(define (natural? x)
  (and (integer? x) (positive? x)))
 
(define (make-vector size item-generator)
  ...)
 
(provide/contract
  (natural? (any? . -> . boolean?))
  (make-vector (natural? procedure? . -> . vector?)))

[Romkin]

Объяснил

[korvin]

Цитата Romkin @ 22.07.11, 09:18

Объяснил

используем предикат natural? для определения типа

[IL_Agent]

Как я понял. Пишем предикат natural?, который определяет, является ли объект неизвестного типа натуральным числом. И теперь у нас natural? какгбэ тоже тип. Можем объявлять контракт, который требует соответствия параметров этому типу. Так что ли ?

Добавлено 22.07.11, 09:59

Цитата korvin @ 22.07.11, 09:48

используем предикат natural? для определения типа

ну, значит так

Добавлено 22.07.11, 10:04
Написать предикат, который проверяет тип аргумента, во многих языках можно. Вызывай его вначале любой функции для проверки аргументов - вот тебе и контракт

Сообщение отредактировано: IL_Agent - 22.07.11, 10:04