OCaml에서 옵션 유형을 해체하는 다른 방법이 있습니까?

Question

OCaml의 옵션 유형은 아무 것도 반환하지 않는 함수가있는 경우에 유용합니다. 그러나 이것을 여러 곳에서 사용할 때, 케이스와 None 케이스를 항상 match ... with으로 처리하는 것이 번거로울 수 있습니다.

let env2 = List.map (fun ((it,ie),v,t) -> 
    match t with 
    | Some t -> (v,t) 
    | None -> 
    begin 
     match it with 
     | Some it -> (v,it) 
     | None -> failwith "Cannot infer local vars" 
    end) ls_res in 

은 간결한 방식으로 옵션 유형을 해체하는 다른 방법은 예를 들어

,이 있습니까?

Answer 1

, 한 번에 여러 가지를 일치시킬 수 있습니다 :

을

match t, it with 
| Some t, _ -> (v, t) 
| None, Some it -> (v, it) 
| None, None -> failwith "Cannot infer local vars" 

이것은 내가 항상하는 일입니다. 컴파일러가이 구문을 잘 사용한다고 (실제로 추가 쌍을 생성하지는 않는다) 말했습니다.

Answer 2

당신이하고 싶은 것에 따라, 이것들을 다루기 위해 쓸 수있는 다양한 것들이 있습니다. 당신이 할 수있는,

let env2 = List.map (fun ((it,ie),v,t) -> 
    match (or_else opt1 opt2) with 
    | Some t -> (v,t) 
    | None -> failwith "Cannot infer local vars") ls_res in 

당신이 옵션의 수보다 더 가지고있는 경우에 :

let or_else opt1 opt2 = match opt1 with 
    | Some _ -> opt1 
    | None -> opt2 

을 그리고 다음과 같이 코드를 구조 조정이 패턴에 대해 나는 다음과 같은 일을 쓰는 게 좋을 것 목록에서 그들을 or_else 배 : 간단한 경우를 들어

let a = [None; None; Some 1; Some 2;];; 
List.fold a ~init:None ~f:or_else;; 

Answer 3

• 옵션 모나드 (일명 모나드 일 수도 있음). 하스켈에서 Just은 OCaml에서 Some이고 하스켈에서는 Nothing이 OCaml에서 None 인 점에 유의하십시오. http://en.wikipedia.org/wiki/Option_type#The_option_monad
• 고차 기능 : default : 'a -> 'a option -> 'a, map_option : ('a -> 'b) -> 'a option -> 'b option, 다른 답변에서와 같이 or_else, map_some : ('a -> 'b option) -> 'a list -> 'b list, concat_some : 'a option list -> 'a list 내 이름은 표준되지 않을 수도 등.
• 문제가있는 경우 unsome : 'a option -> 'a, let unsome = function Some a -> a | None -> raise Not_found입니다. 실제로 이것은 광범위한 Not_found 예외를 처리하는 고차 함수가있는 경우 유용합니다.