ML에서 새로운 유형의 요소를 얻는 방법? 예를 들어

Question

나는 새로운 형태의

type map = int * string;

val a = (1,"a") : int * string;

를 만드는 경우 다음 나는 그것을 얻을 수있는 방법, 변수 a로부터 내부 "는"문자열을 얻으려면? 나는 [1], [2], (2)를 시도했으나 작동하지 않는다 ...

Answer 1

새로운 유형은 단지 두 개의 튜플이므로 패턴 일치를 사용할 수있다. 다른 유형의 것 같은 :

- val a = (1, "a"); 
val a = (1,"a") : int * string 

- case a of (_, str) => str; 
val it = "a" : string 

- (fn (_, str) => str) a; 
val it = "a" : string 

이 공동 작업을하게되면, 당신은 유틸리티 기능 사용을 고려할 수 있습니다

fun unpackStr (_, str) = str; 

Answer 2

당신은의 n 번째 요소를 얻기 위해 #n 연산자를 사용 할 수 있습니다 임의의 튜플. REPL에서 :

- #1("one", "two"); 
val it = "one" : string 
- #2("one", "two"); 
val it = "two" : string