알아야 하는 것 for문 함수 구조 타입 리스트 인덱싱 match with OCaml version 4.08.1 # let rec last = function | [] -> None | [x] -> Some x | _::t -> last t;; val last : 'a list -> 'a option = # last ["a";"b";"c";"d"];; - : string option = Some "d" # last [];; - : 'a option = None # # let rec last_two = function | [] | [_] -> None | [x;y] -> Some (x,y) | _::t -> last_two t;; val last_two : 'a list -> ('a * 'a) option..