Но лишний if убивает эквивалентность

Роман, своим сообщением я сказал, что вариант:
if (x ? !y : y) неудачный. И перевёл его на Котлин, чтобы это показать. Ты сейчас мне пытаешься сказать, что это вариант неудачный. И я о том же. О чём спорим тогда?

Я сам не понимаю о чем спор)

Начнем с того что знание реализации функции необязательно для использующего

То есть все эти подстановки не имеют смысла для показа гуд негуд

Далее.
if (if (x) !y else y)
эквивалентно
if (x? !y : y)

Далее
Причуды с if в тернарнике это фича сугубо котлина и показывать на фичах недостаток реализации в другом языке это бессмыслица

Не знаю. Условный оператор он и в Африке условный оператор, как его не напиши. И условие, вставленное в условие, на мой взгляд, не очень читабельно. Гоняться за сокращением кода я бы не стал.

Вариант: if (x && !y || !x && y) мной воспринимается как более понятный.

Если для себя, то пожалуйста. А если другим потом разбираться, то приоритет за читабельностью.

Спасибо

Ребят подскажите, стоит ли на джаве учить и писать мобилки? В чем преимущества джавы перед дартом? Или наоборот

на джаве\котлине натив, на дарте флаттер, флаттер может в андроид\иос\веб\десктоп  когда нужен натив обращается к (джаве\котлину)\swift\js\ffi

Спасибо, понял)

касательно вопроса однозначно надо примерно понимать работу андроида нативно, плюс иногда могут возникнуть проблемы на этой стороне и хорошо бы разбираться не только в фреймфорве, но и в платформе,  а так пишут в основном платформенное взаимодействие если выбирать флаттер, к примеру узнать заряд батареи напрямую не получится, нужно звать нативный метод и кидать результат во флаттер, а вот интерфейс накидать и не платформенную логику это запросто на дарте

не знал что жаба скрипт умеет в натив...

дык он и не умеет вроде

может в андроид\иос\веб\десктоп  когда нужен натив обращается к джаве\котлину\js\ffi

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

JS - это "нативный язык" для браузера, в котором Flutter тоже умеет работать.