KK
Моя любимая картинка про политкомпас.
Size: a a a
2021 March 01
I
Моя любимая картинка про политкомпас.
У меня только две картинки про политкомпас. Эта и вот эта.
KD
Кто-нибудь может объяснить мне, это какой-то недочет или продуманный шантаж языка?
В Dart’е, при включенном null-safety, если у нас есть
В Dart’е, при включенном null-safety, если у нас есть
immutable class с final полями, то после проверки поля на налл, нам всё равно приходится вставлять !. для обращения к полю.KD
Бедный котлин, без sound null safety, умеет понимать, что если поле файнал, то коль оно не налл, то и дальше оно не налл, а тут вот такая дрянь, от которой кровь в жилах покрывается NPE.
AM
Кто-нибудь может объяснить мне, это какой-то недочет или продуманный шантаж языка?
В Dart’е, при включенном null-safety, если у нас есть
В Dart’е, при включенном null-safety, если у нас есть
immutable class с final полями, то после проверки поля на налл, нам всё равно приходится вставлять !. для обращения к полю.Это тебя просто котлин разбаловал. В свифте, к примеру, тоже такого нет.
KD
Это тебя просто котлин разбаловал. В свифте, к примеру, тоже такого нет.
Бля, как так то?
Казалось бы, элементарное приведение типов, но нет:(
Выглядит будто какая-то глупая недоработка
Казалось бы, элементарное приведение типов, но нет:(
Выглядит будто какая-то глупая недоработка
AM
Это тебя просто котлин разбаловал. В свифте, к примеру, тоже такого нет.
AM
Бля, как так то?
Казалось бы, элементарное приведение типов, но нет:(
Выглядит будто какая-то глупая недоработка
Казалось бы, элементарное приведение типов, но нет:(
Выглядит будто какая-то глупая недоработка
Скорее flow analysis. Компилятор по ходу выполнения программы должен самостоятельно уточнять типы в зависимости от того, какой путь до данного места в коде был пройден, какие контракты явные или неявные на типы присутствовали. Я не думаю, что это простая в имплементации штука, но утверждать не могу.
KD
Скорее flow analysis. Компилятор по ходу выполнения программы должен самостоятельно уточнять типы в зависимости от того, какой путь до данного места в коде был пройден, какие контракты явные или неявные на типы присутствовали. Я не думаю, что это простая в имплементации штука, но утверждать не могу.
Возможно.
Просто, коль язык умеет определять, что
Просто, коль язык умеет определять, что
if(a is AType) => a в рамках этого if будет AType, значит ему не должно составлять труда понять, что if(s != null), тогда s в рамках if является не наллабл тайпом.KD
Однако, я не занимался системами типов и уж тем более чем-то уровня серьезных языков программирования. Возможно это какая-то нетривиальная задача. Я сужу со стороны пользователя.
AM
А, то есть там можно сделать
if(a is String && a.length > 0), но нельзя if(a != null && a.length > 0) ? :)KD
А, то есть там можно сделать
if(a is String && a.length > 0), но нельзя if(a != null && a.length > 0) ? :)Насколько я знаю да.
Но я уже не за компом, не могу проверить на практике.
Но я уже не за компом, не могу проверить на практике.
AM
Насколько я знаю да.
Но я уже не за компом, не могу проверить на практике.
Но я уже не за компом, не могу проверить на практике.
Ну если так, тогда, очевидно, недоработка. Ты ж сам выше говорил, что наллабилити там сбоку прилеплена, возможно, не протянули ещё везде, где надо. Тем более юзеры всегда могут восклицательный знак ляпнуть, так что не критикал 🌚
KD
Ну если так, тогда, очевидно, недоработка. Ты ж сам выше говорил, что наллабилити там сбоку прилеплена, возможно, не протянули ещё везде, где надо. Тем более юзеры всегда могут восклицательный знак ляпнуть, так что не критикал 🌚
Беда в том, что там как раз на днях вышел стабильный API надо сейфти, который уже не должен меняться.
Возможно, конечно, я тупанул и не обновился на пьяную голову, но если окажется, что в стейбл полетит такое, то это лютый стыд.
Возможно, конечно, я тупанул и не обновился на пьяную голову, но если окажется, что в стейбл полетит такое, то это лютый стыд.
KD
А, то есть там можно сделать
if(a is String && a.length > 0), но нельзя if(a != null && a.length > 0) ? :)А в свифте такого нет?
AM
А в свифте такого нет?
А я уже вырубил машину :( Завтра гляну, если вспомню.
KD
А я уже вырубил машину :( Завтра гляну, если вспомню.
AI
Ляпнуть восклицательный знак, а потом убрать проверку на null. Мммм))
AD
Ляпнуть восклицательный знак, а потом убрать проверку на null. Мммм))
ссзб)