BP
Если уж перешли на 1.4 советую это всё включить
Size: a a a
2020 September 10
BP
блин, ты жалуешься на то, что экспериментальные фичи баганые, и что в новых релизах нет хороших выкаченных фич. при этом ты сам используешь экспериментальные фичи, к которым относился new inference в 1.3
Нет я жалуюсь на реальные релизы. Багажные фичи можно выпускать и без новых релизов
BP
Котлин нейтив так и жил
BP
Он пилился отдельно от основного котлина
AN
Не совсем, и он стал капец быстрым . И там компилятор здорово разбивают. Но в целом да что бы полностью на новый выехать нужно флажки понаставлять. Я вот ток новый вывод типов не вркбил, точней вырубил его когда компилилось по 10 мин. А врубить забыл.
Ну и смысл 1.4 в IR
Ну и смысл 1.4 в IR
IR нет в JVM по-умолчанию. Я бы его врубил, но к сожалению для либ там пока все запрещено.
IO
Нет я жалуюсь на реальные релизы. Багажные фичи можно выпускать и без новых релизов
ну так в твоей джаве тоже выходят реальные релизы без больших небагажных фич: jdk 16 - с++14 и переход на гитхаб
BP
IR нет в JVM по-умолчанию. Я бы его врубил, но к сожалению для либ там пока все запрещено.
Я ниже советую. Это единственный плюс, кроме быстрой компиляции. Но он немног медленней. Но не критично
AN
Кто хочет доклад про пролог?
AN
функциональный пролог
BP
ну так в твоей джаве тоже выходят реальные релизы без больших небагажных фич: jdk 16 - с++14 и переход на гитхаб
А при чем тут джава. Ты же про котлин
IO
функциональный пролог
у меня знакомые prover писали для аксиоматики тарского
BP
Кто хочет доклад про пролог?
Послушал в свободное время. В универе было
IO
А при чем тут джава. Ты же про котлин
ну ты сам упомянул релизную модель джавы как хорошую.
IO
ну ты сам упомянул релизную модель джавы как хорошую.
я, соответственно, опровергаю то, что она хорошая через наброс на котлиновскую
BP
ну так в твоей джаве тоже выходят реальные релизы без больших небагажных фич: jdk 16 - с++14 и переход на гитхаб
Отвечу, она не моя, для джавы любая фича это великий прорыв
BP
ну ты сам упомянул релизную модель джавы как хорошую.
Нет как альтернативную, раз уже не справляются
BP
я, соответственно, опровергаю то, что она хорошая через наброс на котлиновскую
У котлина ее просто нет. Релиз и когда и что хотим
IO
Отвечу, она не моя, для джавы любая фича это великий прорыв
ну так IR - это тоже огромный и тяжелый прорыв. ну уж точно не менее важный для языка, чем для джавы перевод кодбейза на с++14
BP
Это не профессионально. И давай закончим а то прийдёт Андрей