Существует ли ЯП с подобным синтаксисом логических операций?

Question

[Андрей]

Возник спор с товарищем, что ему в JS не хватает выражений типа:

if (status === 'complete' || 'deleted' || 'updated') { //... }

Вместо:

if (status === 'complete' || status === 'deleted' || нувыпонели) {}

Я сказал, что это нечитаемо и никто не стал бы делать подобный синтаксис. Но вот задумался - а вдруг кто-то всё-таки стал бы?

P.S.
Разумеется, как вариант короткой записи, я предложил

['complete', 'deleted', 'updated'].includes(status)

Но это всё надуманные и искусственные примеры. В реальной жизни, условия в JS могут действительно достигать кошмарных размеров и становиться нечитаемыми, даже если выносить их в переменные, а то и целые функции.

Поэтому хотелось бы обсудить такой вопрос - в каком языке самый крутой синтаксис логических операций? Или он везде одинаковый?

Comments

[Армянское Радио]

Вопросы-болталки у нас не приветствуются.

[WbICHA]

В реальной жизни, условия в JS могут действительно достигать кошмарных размеров и становиться нечитаемыми, даже если выносить их в переменные, а то и целые функции.

Это что ещё за кулстори?

[Максим Федоров]

уберите ваш спойлер и тогда вопрос из болталки будет прямым вопросом по программированию
тк рассуждения запрещены правилами сайта

[Roman K]

Такой ЯП ломает формальную логику и логику программистов, которые умеют читать такие условия.

В реальной жизни, условия в JS могут действительно достигать кошмарных размеров и становиться нечитаемыми

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

[Василий Банников]

Такой ЯП ломает формальную логику и логику программистов, которые умеют читать такие условия.

Зависит от того, как оформить.
Что-то похожее есть в C# 9:

if(status is "complete" or "deleted" or "updated") { /*...*/ }

Тут это логику не ломает, тк is - это сопоставление с образцом, а не логическое выражение.

Answer 1

[Василий Банников]

В C# есть что-то подобное:

if(status is "complete" or "deleted" or "updated") { /*...*/ }

Comments

[Андрей]

Да, точно, спасибо! Но возникает логичный вопрос - а как в таком случае проверить в условии несколько значений? Простой группировкой?
То есть:

if ((status is 'x' or 'z' or 'y') or (user is 'b' or 'c'))

[Василий Банников]

Андрей,

if(status is 'x' or 'z' or 'y' || user is 'b' or 'c') {}

or/and - это только про сопоставление с образцом.
Для логических выражений всё также используется ||/&&

[Андрей]

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

[Василий Банников]

Андрей,

Всегда восхищался шарпом, жаль что я тупой и меня хватило только на жс(

То же самое я говорю про жс :)
Шарп сильно легче кажется

Answer 2

[taktik]

python:

if status in ['complete', 'deleted', 'updated']:
    # ...

Answer 3

[ComodoHacker]

В C так пишут.

Comments

[Василий Банников]

В си так пишут, но семантика у такого выражения иная.
Чисто синтаксически и в JS так можно.

[Андрей]

Василий Банников, ComodoHacker могли бы вы показать пример? Бегло полистал доку, не увидел)

[Василий Банников]

Андрей, просто можешь попытаться запустить свой пример:

if (status === 'complete' || 'deleted' || 'updated') { //... }

Просто непустые строки будут считаться за true
В сях аналогично, тк там нет boolean - любое ненулевое число будет считаться за true

[ComodoHacker]

Василий Банников, И семантика может бы такой же. В Си константы часто используются в качестве перечислений.

Андрей, Примеры можно посмотреть в Win32 SDK.

[Василий Банников]

ComodoHacker,

И семантика может бы такой же.

Кажется, вы что-то путаете, или я забыл как си работает.
if (status == "complete"|| "deleted" || "updated")
Что надо сделать в сях, чтобы вот эта строчка воспинималась как
"status равняется complete или status равняется deleted или status равняется updated"?

[ComodoHacker]

Василий Банников,

const unsigned ST_COMPLETE = 1;
const unsigned ST_DELETED  = 2;
const unsigned ST_UPDATED  = 4;

if (status & (ST_COMPLETE | ST_DELETED | ST_UPDATED))

[Василий Банников]

ComodoHacker, что-то про флаги даже не подумал.
Привык что при сильной типизации нужно писать
if(status & ( ...) > 0 )

Answer 4

[tundramani]

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

делай так:

let массив_значений = ['complete', 'deleted', 'updated']

let если = function(ключ, массив_значений)
{
return true /false
}

if( если(status, массив_значений) )
{ }

Comments

[Андрей]

Да, да, про подобное я и написал, что особо длинные условия проще выносить в переменные и функции.

Тут, правда, писали, что это всё говнокод и я дурак)

[tundramani]

Андрей, да
еще проще и лучше так:

let массив_значений = ['complete', 'deleted', 'updated']

if( массив_значений.indexOf(status) !== -1 )
{ }

Answer 5

[dollar]

Если оптимизировать скорость, то нужно использовать силу хеш-таблиц, поиск по которым занимает примерно O(1):

const NEEDED_STATUS = { complete: true, deleted: true, updated: true}
if (NEEDED_STATUS[status]) { /*... */ }

Однако стоит иметь в виду два момента:

1. Это экономия на спичках.
   
2. Прирост производительности начнётся примерно, когда количество вариантов будет больше 4. Реальный прирост будет при очень большом количестве вариантов.
   

Хеш-таблицы (или возможность из создания) есть практически в любом ЯП.

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

let is_complete = (status === 'complete');
let is_deleted = (status === 'deleted');
let is_updated = (status === 'updated');
if (is_complete || is_deleted || is_updated) { /*... */ }

При этом общий размер кода вырастет, но само условие станет более компактным и понятным. Кроме того, зачастую вот эти is_что-то нужны в других местах кода, которые тоже будут выглядеть опрятно, и в целом общее количество кода порой может даже уменьшиться.
Этот приём возможен в любом ЯП.

Answer 6

[Jacen11]

['complete', 'deleted', 'updated'].includes(status)

в котлине это будет status in listOf('complete', 'deleted', 'updated')

if (status === 'complete' || 'deleted' || 'updated') { //... }

а это просто бред какой то, эти операции применяются только к булеану, 'deleted' не булеан. Это все равно что требовать чтобы работало "strring" * "string"

Comments

[Андрей]

В JS это сработает, так как непустая строка будет приведена к true. Понимаю, что пример нечитабельный, идея была в том, чтобы проверить значение переменной на равенство одной из трёх строк, не дублируя при этом оператор сравнения и переменную. То есть чтобы читалось так: статус равен этой строке ИЛИ этой строке ИЛИ этой строке Повторюсь, что это достаточно бессмысленная демагогия, но выше привели пример на шарпе, который как раз-таки решает эту проблему.

Answer 7

[Yury Komar]

VB.NET:

If (New String(){"111",  "222", "333"}).Contains(status) Then
'...
End If

или так:

Select Case status : Case "111", "222", "333"
'...
End Select