[Ocaml] 사용자 정의 타입

❗ 이미 있는 타입에 새로운 이름 생성 가능

• type var = string
• type vector = float list
• type matrix = float list list
  
  
• let rec transpost : matrix -> matrix = fun m -> . . .

• 새로운 타입 만들기 ( Variants )

  • ex ) 날짜라는 타입 생성
    
    

  • nextday 함수 생성 : 만든 days 타입을 받아 다음 날을 리턴하는 함수
    

  • ex ) shape 라는 타입 생성
    
    

  • area 함수 생성 : 도형의 넓이 구하는 함수
    

  • ex ) mylist 라는 타입 생성
    
    

  • mylength 함수 생성 : 리스트의 크기 반환 함수
    

• 새로운 타입 만들기 ( Parameter Variants )

  • 임의의 type을 받는 mylist 만들기
    
    

  • length 함수 생성 : 리스트의 크기 반환 함수
    
    ▶ mylist : 다른 타입을 인자로 받아서 다른 타입을 만들어내는 타입 생성자 ( type constructor )