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

소스 파일명: testWhile.ml

1. (*
2.  *  Filename: testWhile.ml
3.  *
4.  *  Purpose:  Example using the while loop syntax
5.  *                while ....
6.  * 
7.  *  Execute: ocaml testWhile.ml -200 300
8.  * 
9.  *    Or
10.  * 
11.  *  Compile: ocamlc -o testWhile.exe testWhile.ml
12.  *  Execute: testWhile -200 300
13.  *)
15. (* 사용법 표시 *)
16. let printUsage() =
17.     Printf.printf "Using: testWhile.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. *)
33. let val1 = int_of_string cmdArgs.(1);;
34. let val2 = int_of_string cmdArgs.(2);;
36. (* a는 |val1|, |val2| 중 큰 값 *)
37. let a = ref (abs val1);;
38. let b = ref (abs val2);;
39. if (!a < !b) then
40.     let t = !a in
41.     a := abs val2;
42.     b := t;;
44. if (!b = 0) then
45.     Printf.printf "GCD(%d, %d) = %d\n" val1 val2 !a;;
47. if (!b = 0) then
48.     exit 0;;
50. (*
51. // --------------------------------------
52. // Euclidean 알고리즘의 시작
53. //
54. // a를 b로 나누어 몫은 q에, 나머지는 r에 저장
55. *)
57. let q = ref (!a / !b);;
58. let r = ref (!a mod !b);;
60. (*
61. // --------------------------------------
62. // Euclidean 알고리즘의 반복 (나머지 r이 0이 될 때 까지)
63. *)
64. while not (!r = 0) do
65.     a := !b;
66.     b := !r;
67.     q := !a / !b;
68.     r := !a mod !b;
69. done;;
71. (* 나머지가 0이면 그 때 나눈 수(제수) b가 최대공약수(GCD)이다. *)
72. let gcd = !b;;
74. (* 최대공약수(GCD)를 출력한다. *)
75. Printf.printf "GCD(%d, %d) = %d\n" val1 val2 gcd;;
    

컴파일:

Command> ocamlc -o testWhile.exe testWhile.ml

실행:

Command> testWhile
Using: TestWhile [integer1] [integer2]
This finds the greatest common divisor of the given two integers.

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

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

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

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