170 похожих чатов

А pattern matching ведь предполагает приоретизацию проверок в порядке их

следования?

25 ответов

1 просмотр

не обязательно

Dmitry-Sokolov Автор вопроса

А если конфликты?

Dmitry-Sokolov Автор вопроса
feedable
то их решать

В порядке их следования? :)))

Dmitry Sokolov
В порядке их следования? :)))

ну блин, разрешение перегрузок в плюсах тоже в порядке объявления?

Dmitry-Sokolov Автор вопроса
Dmitry-Sokolov Автор вопроса
feedable
... и?

Ну типа такого: x match { "42": "answer", "42?+"_wc: "extended answer"

Dmitry Sokolov
Ну типа такого: x match { "42": "answer", "42...

ну я не видел реализации которая так может вообще

Dmitry-Sokolov Автор вопроса
feedable
ну я не видел реализации которая так может вообще

Ну вот в том же rust с биндингами. Там же объект может сразу в несколько штук матчить

Dmitry Sokolov
Ну вот в том же rust с биндингами. Там же объект м...

в расте строки по регексу матчить нельзя.

Dmitry-Sokolov Автор вопроса
feedable
в расте строки по регексу матчить нельзя.

Ну забей на строки, пусть будет Point

Dmitry Sokolov
Ну забей на строки, пусть будет Point

поинт же по специфичности тривиально матчится

feedable
ну блин, разрешение перегрузок в плюсах тоже в пор...

Мне кажется, что были специфичные случаи, когда порядок деклараций менял выбор перегрузки кодом ниже

feedable
лупхолы

Нет, без них

Ofee Oficsu
Нет, без них

тогда тебе надо будет найти пример

feedable
ну блин, разрешение перегрузок в плюсах тоже в пор...

В общем, с порядком объявления нет проблем. Если пользователь через порядок следования веток управляет их приоритетом, это наглядно, это понятная всем концепция

Dmitry-Sokolov Автор вопроса
Ofee Oficsu
В общем, с порядком объявления нет проблем. Если п...

Для таких случаев это просто схлопывание if/else/else...

Dmitry-Sokolov Автор вопроса
Ofee Oficsu
В общем, с порядком объявления нет проблем. Если п...

В примере с designators в одной из ранних версий это прям очень очевидно.

Ofee Oficsu
В общем, с порядком объявления нет проблем. Если п...

Еще существует концепция, что приоритетней считается более конкретная ветка над менее конкретной

Вячеслав
Еще существует концепция, что приоритетней считает...

Она действительно существует, однако крайне редко встречается в дикой природе реализациях паттерн-матчинга. Тем более в этом мало смысла, когда возможен очень широкий спектр неоднозначностей. А я уверен, это довольно частый случай для паттерн-матчинга

feedable
тогда тебе надо будет найти пример

Есть такой пример, но это не то, что я изначально хотел показать. Уверен, у меня был какой-то пример, работавший ещё на C++17

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Кто-нибудь знает почему SPM клонирует репо целиком? Некоторые репы просто огромные, как та же swift-syntax которая нужна для использования макросов. Сначала подумал, что это...
iMike
6
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет. Я верно понимаю, что в определении класса Монад m — зафиксирован (к тому же поскольку это моноид в категории эндофункторов). Т.е. используя байнд я не могу перемещать...
Arseny
5
еще вопрос, допустим мы создадим char массив из 10 элементов и присвоим ему через сканф 10 символов. и выведем все символы. Хотел спросить последний элемент /0 будет включать...
Anthem
11
;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, стандартный ;вызов процедуры ;option casemap:no...
Егор Анелькин
1
Карта сайта