Это так не доделали или большой смысл?

Так сделано же логично. Ты в матч передаешь в качестве параметра - значение, а потом сравниваешь с шаблоном. В твоем случае y забирает владение и шадовитсч

0

16.07.2023

𝔞𝔫𝔡𝔯𝔢𝔴°

Sergey Makarov
Я понимаю почему этот код работает так. Я не пони...

Ну ты не можешь просто посмотреть на match и понять, y у тебя из внешнего скоупа или это новое имя

0

16.07.2023

Sergey Makarov Автор вопроса

𝔞𝔫𝔡𝔯𝔢𝔴°
Ну ты не можешь просто посмотреть на match и понят...

В разных языках match разный. Тут выбран кастрированный вариант. Возможно из за проблем с владением

0

16.07.2023

𝔞𝔫𝔡𝔯𝔢𝔴°

Sergey Makarov
В разных языках match разный. Тут выбран кастриров...

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

0

16.07.2023

!van

Sergey Makarov
В разных языках match разный. Тут выбран кастриров...

В rust один из лучших паттерн матчингов, что я видел. Хз, как ты иначе себе представляешь его

0

16.07.2023

Dika

𝔞𝔫𝔡𝔯𝔢𝔴°
Покажи мне язык, где ты можешь использовать значен...

В прологе, понятное дело, это будет работать именно так, как @MakarovSergey22 хочет. Унификация строго выразительнее паттерн матчинга, если не ошибаюсь. $ swipl ?- X = 4, Y = 5, memberchk(X: R, [ 1: "one", Y: "five", _: "else"]), print(R). "else" ?- X = 5, Y = 5, memberchk(X: R, [ 1: "one", Y: "five", _: "else"]), print(R). "five"

0

16.07.2023

!van

Dika
В прологе, понятное дело, это будет работать именн...

Как я писал выше. Вопрос, каким языком является пролог динамическим/статическим?

0

16.07.2023

Dika

!van
Как я писал выше. Вопрос, каким языком является пр...

Это тут не имеет большого значения. Был типизированный пролог еще.

0

16.07.2023