tutorial показывает некоторые очень простые примеры сопоставления шаблонов, такие как сопоставление по целому числу для эмуляции оператора switch c-style, В учебнике также показано, как выполнить базовое деструктурирование по типу кортежа и структуры деструктурирования.
Похоже, что должно быть возможно сопоставить соответствие по вектору, но я не могу определить правильный синтаксис для него, и я не нашел его примеров.
Например, в Haskell вы можете легко разрушить список:
foldr :: (a -> b -> b) -> b -> [a] -> b
foldr func initValue [] = initValue
foldr func initValue (x:xs) = func initValue $ foldr initValue func xs
Итак, глядя на грубый перевод, было бы неплохо иметь возможность:
fn foldr<A, B>(func: fn(A, B) -> B,
initValue: B,
vals: [A]) -> B {
alt vals {
[] { ret initValue; }
_ {
let h = vec::head(vals),
t = vec::tail(vals);
ret foldr(func, func(initValue, h), t);
}
}
}
Примечание. Я знаю, что вы можете использовать оператор if здесь, я просто использую это как пример сопоставления шаблонов над вектором.
В настоящее время возвращается:
patterns.rs:10:4: 10:5 error: constant contains unimplemented expression type
patterns.rs:10 [] { ret initValue; }
^
error: aborting due to previous errors
В учебнике по деструктурированию структур (определенному с помощью { .. }
) и кортежам (определенному с помощью ( .. )
) есть пример, так что кажется, что должна быть встроенная поддержка векторов, так как они также содержат специальный синтаксис (определенный с помощью [ .. ]
).
Не стесняйтесь исправлять меня, если я тоже использую векторы.