В SML можно определить псевдоним для шаблона?

Question

Скажем, у меня есть следующий тип данных

datatype mytype = Foo | Bar | Baz 

и хотите написать функцию вроде следующего

fun myfun ((Foo|Bar), (Foo|Bar)) = something 
| myfun (Baz, _) = somethingelse 
| ... 

Есть ли способ создать псевдоним для шаблона Foo|Bar, так что я могу написать это один раз и избежать повторения себя?

Answer 1

Ответ прост: «нет», к сожалению. Понятие «абстрактные шаблоны» или «взгляды» было предложено много раз, но это сложное пространство, и ни одно предложение никогда не было полностью удовлетворительным (и это относится к другим языкам, таким как Ocaml или Haskell).