Как переводится variants и 'data matching' в применении к функциональным языкам программирования?

Question

[amarao]

Возник затык с переводом очередной части про Ocaml. Проблемы с терминами:

variation, data matching, pattern matching.

Контекст использования: www.ocaml-tutorial.org/data_types_and_matching

Answer 1

[andrew_kane]

pattern matching — сопоставление образцов/шаблонов (практически везде такой перевод встречал)

Answer 2

[my2you]

А разве не подходит в данном контексте пряой перевод:
pattern matching — совпадение по действиям; по выполняемым операциям
variants — варианты

лаконично и смысл отображает)

Answer 3

[amarao]

Я извиняюсь, но нужны устоявшиеся термины. Потому что если бы мы переводили так touple, мы бы никогда не получили вполне себе стандартный термин «кортеж». pattern matching будет чем-то вроде «сравнению по шаблону», но, повторю, мне не хочется изобретать термины в уже давно устоявшейся на русском языке области.