AA
То есть фактически сумм-типы, только кривые, потому что на JVM по другому нельзя
Вот честно, не понимаю, как устройство байт-код стэк машины мешает реализовать ту или иную систему типов на этапе компиляции.
Size: a a a
2020 November 09
с#
А в чем смысл будет sealed interface?
sealed class, но можно ещё от кого-то наследоваться
АГ
Спасибо
VP
неужели приедут силд интерфейсы?
Они так-то были в публичном родмапе. Ну и негоже от джавы отставать)
D
Вот честно, не понимаю, как устройство байт-код стэк машины мешает реализовать ту или иную систему типов на этапе компиляции.
Библиотеки скомпилированные могут быть. И все ограничения на наследование к ним должны применяться по максимуму при взаимодействии с ними.
AA
Библиотеки скомпилированные могут быть. И все ограничения на наследование к ним должны применяться по максимуму при взаимодействии с ними.
Опять же, на что это влияет? У JVM байт кода достаточно средств для выставления на скомпилированном коде самых разнообразных меток для воссоздания того, как это выглядит в таргет языке с точки зрения интерфейса взаимодействия.
VP
Опять же, на что это влияет? У JVM байт кода достаточно средств для выставления на скомпилированном коде самых разнообразных меток для воссоздания того, как это выглядит в таргет языке с точки зрения интерфейса взаимодействия.
А как это будет в джаве выглядеть? Всё-таки котлин позиционируется как язык, у которого интероп в обе стороны работает.
Но, конечно, с текущими инлайн-классами он начал съезжать с этой дороги.
Но, конечно, с текущими инлайн-классами он начал съезжать с этой дороги.
AA
А как это будет в джаве выглядеть? Всё-таки котлин позиционируется как язык, у которого интероп в обе стороны работает.
Но, конечно, с текущими инлайн-классами он начал съезжать с этой дороги.
Но, конечно, с текущими инлайн-классами он начал съезжать с этой дороги.
Ну часть ограничений просто в джаве не будет работать. Так же, как сейчас нуллабельность в джаве не проверяется.
А⚙
Ну часть ограничений просто в джаве не будет работать. Так же, как сейчас нуллабельность в джаве не проверяется.
И это ужасно
VP
Ну часть ограничений просто в джаве не будет работать. Так же, как сейчас нуллабельность в джаве не проверяется.
Ну проверять значения на входе на null заметно проще, чем на соответствие множеству типов
VP
И это ужасно
Такова жизнь 🤷♂
AB
Порекомендуйте, пожалуйста, интенсивные "добротные" курсы по бэкенд разработке на Котлин + TornadoFx/Compose с нуля? Такие, чтобы не были размазаны на пол года год. Есть такие вообще?
2020 November 10
KD
Ну там два смысла. Один в том, что можно наследовать наследника силед класса от кого-то еще. А в по пропозалу дополнительно можно будет не в одном файле все объявлять
Это уже точная информация?
Может тогда и классы можно будет в разных файлах объявлять?
Может тогда и классы можно будет в разных файлах объявлять?
IP
Это уже точная информация?
Может тогда и классы можно будет в разных файлах объявлять?
Может тогда и классы можно будет в разных файлах объявлять?
ну это мелочь, честно говоря. но вот сами sealed interface - это важная фича
KD
ну это мелочь, честно говоря. но вот сами sealed interface - это важная фича
Мелочь, которую я жду уже года 3 :)
IP
Мелочь, которую я жду уже года 3 :)
а зачем?
IP
у тебя какая-то огромная логика в силд классах?
KD
а зачем?
Мне банально не нравится объявлять кучу классов в одном файле.
с#
Мне банально не нравится объявлять кучу классов в одном файле.
+
AM
Это уже точная информация?
Может тогда и классы можно будет в разных файлах объявлять?
Может тогда и классы можно будет в разных файлах объявлять?
Да, для них там, написано: "Restrictions on placement of subclasses of a sealed class are relaxed to match those of the sealed interface above, which are repeated below for completeness."
Вообще кип недлинный, можно целиком прочитать.
Вообще кип недлинный, можно целиком прочитать.