SML에서 패턴의 별칭을 정의 할 수 있습니까?

Question

내가 쓸 수 있도록의, 패턴 Foo|Bar에 대한 별칭을 만들 수있는 방법이 있나요 내가

datatype mytype = Foo | Bar | Baz 

을 다음과 같은 데이터 유형을 가지고 다음과 같은

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

같은 함수를 작성하고 싶은 말은하자 한번 나가서 반복해서 피하지?

Answer 1

답변은 안타깝게도 "아니오"입니다. "추상 패턴"또는 "뷰"라는 개념은 여러 번 제안되었지만 까다로운 공간이며 Ocaml이나 Haskell과 같은 다른 언어에도 적용되는 제안은 전혀 없습니다.