[Ocaml] 사용자 정의 타입 예제

• 이전 Ocaml 사용자 정의 타입 포스트와 연결됨.
  ▶ https://velog.io/@jmink002/Ocaml-사용자-정의-타입

- 예제문제

1. 이진 나무 ( Binary tree ) - ver. 1

   • 이진 나무 ( Binary tree ) 는 다음과 같이 정의 가능
     ( root , left , right )

     

     예를 들어

     

   • mem : 이진 나무에서 주어진 원소가 존재하는지 여부 반환 함수
     

2. 이진 나무 - ver. 2

   • 이진 나무를 다음과 같이 정의
     

     • Leaf : 자식이 없는 btree
     • Left : 왼쪽 자식만 있는 btree
     • Right : 오른쪽 자식만 있는 btree
     • LeftRight : 왼쪽, 오른쪽 자식 둘다 있는 btree

   예를 들어
   

   • mirror : 이진 나무의 왼쪽, 오른쪽 자식을 재귀적으로 모두 교환하는 함수
     

3. 계산기

   • 계산식을 다음과 같이 정의
     

   • calc : 산술식의 값을 계산하는 함수 ( "calc.ml" 파일 따로 생성 )
     
     

   • 실행결과