(최대공약수 구하기) while 반복문 없는 예제 for OCaml

소스 파일명: TestNoWhile.ml

1. (*
2.  *  Filename: testNoWhile.ml
3.  *
4.  *  Purpose:  Example not using the while loop syntax 
5.  *                while ....
6.  * 
7.  *  Execute: ocaml testNoWhile.ml -200 300
8.  * 
9.  *    Or
10.  * 
11.  *  Compile: ocamlc -o testNoWhile.exe testNoWhile.ml
12.  *  Execute: testNoWhile -200 300
13.  *)
15. (* 사용법 표시 *)
16. let printUsage() =
17.     Printf.printf "Using: testNoWhile.py [integer1] [integer2]\n";
18.     Printf.printf "This finds the greatest common divisor of the given two integers.\n";;
20. let cmdArgs = Sys.argv;; 
21. if not ((Array.length cmdArgs) == 3) then
22.     printUsage();
24. if not ((Array.length cmdArgs) == 3) then
25.     exit 1;;
27. (*
28. // --------------------------------------
29. // 명령행 인자의 두 스트링을 가져와서
30. // 정수 타입으로 변환하여
31. // 변수 val1과 val2에 저장한다.
32. *)
34. let val1 = int_of_string cmdArgs.(1);;
35. let val2 = int_of_string cmdArgs.(2);;
37. let a = ref (abs val1);;
38. let b = ref (abs val2);;
40. let max x y = if y > x then y else x;;
41. let min x y = if y > x then x else y;;
43. let maxab = max !a !b;;
44. let minab = min !a !b;;
46. (* a는 |val1|, |val2| 중 큰 값 *)
47. a := maxab;;
48. b := minab;;
50. (*
51. // --------------------------------------
52. // 재귀호출 Euclidean 알고리즘
53. //
54. //     Euclidean 알고리즘의 반복 (나머지가 0이 될 때 까지)
55. //     나머지가 0이면 그 때 나눈 수(제수) x가 최대공약수(GCD)이다.
56.  *)
57. let rec gcdRecursive x y =
58.     match y with
59.     | 0 -> x
60.     | _ -> gcdRecursive y (x mod y);;
62. let gcd = gcdRecursive !a !b;;
64. (* 최대공약수(GCD)를 출력한다. *)
65. Printf.printf "GCD(%d, %d) = %d\n" val1 val2 gcd;
66. exit 0;;

 

컴파일:
Command> ocamlc -o testNoWhile.exe testNoWhile.fs

실행:
Command> testNoWhile
Using: testNoWhile [integer1] [integer2]
This finds the greatest common divisor of the given two integers.

Command> testNoWhile -200 300
GCD(-200, 300) = 100

Command> testNoWhile -200 0
GCD(-200, 0) = 200

Command> testNoWhile 125 100
GCD(125, 100) = 25

Command> testNoWhile 23 25
GCD(23, 25) = 1