Size: a a a

2021 June 04

K

Kir in F# Chat
А что за проблема-то была?
источник

AH

Ayrat Hudaygulov in F# Chat
про if(list is [0])
источник

I

IdiocyAcceptance in F# Chat
А, да, наркомания. Мб это фарш так влияет, но я бы навскидку ни за что бы не подумал что там Length: 0, а не список из 1 элемента, который имеет значение 0
источник

AH

Ayrat Hudaygulov in F# Chat
я до сих пор не уверен что это не наркоман писал
источник

K

Kir in F# Chat
Это где так можно-то?
источник

I

IdiocyAcceptance in F# Chat
Чёт мрак. Зачем вообще оно нужно то?
источник

I

IdiocyAcceptance in F# Chat
Сишурп 10 потенциально
источник

AH

Ayrat Hudaygulov in F# Chat
это C#10 пропозал. Но пропозал от дизайнера сишарпа, так что с высоким шансом не просто так пропозал
https://github.com/dotnet/csharplang/blob/main/proposals/list-patterns.md
источник

K

Kir in F# Chat
Какой кошмар
источник

I

IdiocyAcceptance in F# Chat
Я так полагаю что там можно будет делать if (list is [ > 5 ]) тоже?
источник

AH

Ayrat Hudaygulov in F# Chat
вроде сишарп научили в рекурсивный матчинг, так что да
источник

I

IdiocyAcceptance in F# Chat
Такой синтаксис просто будет вообще взрывать мозги
источник

AH

Ayrat Hudaygulov in F# Chat
учитывая что написать list.Length > 5 не сильно сложнее)
источник

I

IdiocyAcceptance in F# Chat
Да, меня это и удивляет. А ещё добавлять кучу компайл тайм проверок странных
источник

AH

Ayrat Hudaygulov in F# Chat
посмотрим. пока что я не до конца уверен что означает
if(list is [0])
источник

AH

Ayrat Hudaygulov in F# Chat
то ли лист единичной длины, то ли нулевой
источник

AH

Ayrat Hudaygulov in F# Chat
то ли лист с единичной длины с элементом 0
источник

AH

Ayrat Hudaygulov in F# Chat
просто list[0] валидный лист единичной длины (как минимум)
источник

AH

Ayrat Hudaygulov in F# Chat
поэтому упор в пропозале на то, что [] используется как индексатор и поэтому всем удобнее будет пользоваться паттерном на длину через индексатор намекает что и всё остальное должно быть как в индексаторах
источник

I

IdiocyAcceptance in F# Chat
Надеюсь. Ибо если оно выйдет как в описании выше, то я буду долго задаваться вопросом: а зачем?
источник