'프로그래밍' 카테고리의 글 목록 (17 Page)

손으로 계산하는 긴자리 곱셈표 만들기 with OCaml

프로그래밍/OCaml 2013. 2. 2. 20:32

초등학교 때 배우던 두 정수의 곱셈표를 만들어 주는 F# 소스이다. 이 소스는 Python 소스를 F# 소스로 변환한 후 다시 OCaml 언어로 재작성한 것이라서 OCaml 의 명령형 언어 특징을 위주로 짜여져 있다.

(*
* Filename: makeMultTable.ml
*
*     Print a multiplication table.
*
* Execute: ocaml makeMultTable.ml 123 450
*
*   Or
*
* Compile: ocamlc -o makeMultTable.exe makeMultTable.ml
* Execute: makeMultTable 230 5100
*
*     Date: 2013. 2. 2).
*   Author: pkim __AT__ scripts.pe.kr
*)

open Printf;;

exception RuntimeError of string
exception ValueError of string

let println s = printf "%s\n" s ;;

let print s = printf "%s" s ;;

let printUsage() =
println "Using: ocaml makeMultTable.ml [number1] [number2]" ;
println "Print a multiplication table for the given two integers." ;;

let printMultTable x y =
    let nx = ref x in
    if !nx < 0 then
        nx := - !nx ;
    let ny = ref y in
    if !ny < 0 then
        ny := - !ny ;
    let ntail1 = ref 0 in
    let ntail2 = ref 0 in
    while (!nx mod 10) = 0 do
        nx := !nx / 10 ;
        ntail1 := !ntail1 + 1
    done ;
    while !ny mod 10 = 0 do
        ny := !ny / 10 ;
        ntail2 := !ntail2 + 1
    done ;
    let z = !nx * !ny in
    let strZ = sprintf "%d" z in
    let strX = sprintf "%d" !nx in
    let strY = sprintf "%d" !ny in
    (* let n = String.length strY in *)
    let zeros = "0000000000000000000000000000000000000000" in
    let whites = "                                        " in
    let bars   = "----------------------------------------" in
    let loffset = "       " in
    let line4 = loffset ^ strZ in
    let line1 = loffset ^ (String.sub whites 0 ((String.length strZ) - (String.length strX))) ^ strX in
    let line2 = "   x ) " ^ (String.sub whites 0 ((String.length strZ) - (String.length strY))) ^ strY in
    let line3 = "     --" ^ (String.sub bars 0 (String.length strZ)) in
    println (line1 ^ (String.sub zeros 0 !ntail1)) ;
    println (line2 ^ (String.sub zeros 0 !ntail2)) ;
    println line3 ;
    if (String.length strY) > 1 then begin
        for i = 0 to ((String.length strY) - 1) do
            let y1 = int_of_string (String.sub strY ((String.length strY) - i - 1) 1) in
            if not (y1 = 0) then begin
                let strT = sprintf "%d" (!nx * y1) in
                println (loffset ^ (String.sub whites 0 ((String.length strZ) - (String.length strT) - i)) ^ strT)
            end
        done ;
        println line3 ;
    end ;
    println (line4 ^ (String.sub zeros 0 !ntail1) ^ (String.sub zeros 0 !ntail2)) ;;

(* Begin here *)
let cmdArgs = Sys.argv in
if (Array.length cmdArgs >= 3) then begin
    let x = int_of_string (cmdArgs.(1)) in
    let y = int_of_string (cmdArgs.(2)) in
    println "" ;
    printMultTable x y
end
else begin
    printUsage() ;
    exit(1)
end

컴파일> ocamlc -o makeMultTable.exe makeMultTable.ml

실행> makeMultTable 230 5100
결과>

          1030
   x )   10020
     --------
          206
       103
     --------
       10320600

'프로그래밍 > OCaml' 카테고리의 다른 글

스트링 리스트에서 스트링 찾기(find) with OCaml (0)	2013.02.02
스트링 배열 정렬(sorting)하기 with OCaml (0)	2013.02.02
문자열 거꾸로 하기 with OCaml (0)	2013.02.02
손으로 만드는 나눗셈 계산표 with OCaml (0)	2013.02.01
OCaml 언어로 큰 정수(big integer) 계산하기 (0)	2013.01.30

Posted by Scripter

,

문자열 거꾸로 하기 with OCaml

프로그래밍/OCaml 2013. 2. 2. 19:45

▒ OCaml 소스: testStringReverse.ml

open Printf;;

let reverse s =
    let s2 = "" ^ s in
    let n = String.length s in
    for i = 0 to (n/2 - 1) do
        let t = s2.[i] in
        s2.[i] <- s2.[n - 1 - i];
        s2.[n - 1 - i] <- t
    done ;
    s2;;

let reverse2 s =
    let s2 = "" ^ s in
    let n = String.length s in
    let isTwo = ref false in
    for i = 0 to (n - 1) do
        if !isTwo = false then begin
            let t = s.[i] in
            (* printf " %d\n" (int_of_char t) ; *)
            if (int_of_char t) > 127 then begin
                isTwo := true;
                s2.[n - 1 - i - 1] <- t ;
                s2.[n - 1 - i] <- s.[i + 1]
            end
            else begin
                isTwo := false;
                s2.[n - 1 - i] <- t
            end
        end
        else
            isTwo := false;
    done ;
    s2;;

let a = "Hello, world!" in
let b = "안녕하세요?" in
let a2 = reverse a in
let a3 = reverse a in
let b2 = reverse b in
let b3 = reverse2 b in

printf " reverse: %s\n" a2;
printf "original: %s\n" a;
printf "reverse2: %s\n" a3;
printf "original: %s\n" a;
print_newline();
printf " reverse: %s\n" b2;
printf "original: %s\n" b;
printf "reverse2: %s\n" b3;
printf "original: %s\n" b;

(*
let mutable arr = a.ToCharArray()
arr <- Array.rev arr
System.Console.WriteLine(new System.String(arr))
arr <- b.ToCharArray()
arr <- Array.rev arr
System.Console.WriteLine(new System.String(arr))
*)

(*
Expected result:
reverse: !dlrow ,olleH
original: Hello, world!
reverse2: !dlrow ,olleH
original: Hello, world!

reverse: ?岳세逑楹횡
original: 안녕하세요?
reverse2: ?요세하녕안
original: 안녕하세요?
*)

주: 소스 파일은 ms949 인코딩으로 저장되어야 한다.

'프로그래밍 > OCaml' 카테고리의 다른 글

스트링 배열 정렬(sorting)하기 with OCaml (0)	2013.02.02
손으로 계산하는 긴자리 곱셈표 만들기 with OCaml (0)	2013.02.02
손으로 만드는 나눗셈 계산표 with OCaml (0)	2013.02.01
OCaml 언어로 큰 정수(big integer) 계산하기 (0)	2013.01.30
7비트 ASCII 코드표 만들기 예제 with OCaml (0)	2013.01.29

Posted by Scripter

,

손으로 만드는 나눗셈 계산표 with OCaml

프로그래밍/OCaml 2013. 2. 1. 00:52

다음은 초등학교에서 배우는 나눗셈 계산표를 만들어주는 OCaml 소스 코드이다.
나눗셈 계산표를 완성하고 나서 약수, 배수 관계를 알려준다.

아래의 소스는 Python 용 소스를 F# 용 소스로 거의 일대일 변환하고,또 F# 소스를 OCaml 소스로 변환한 것이라서, OCaml 언어의 명령형 언어의 특징을 위주로 짜여져 있다.

예외상황 처리 부분 try ... with ... 부분이 아직 미완성이다.

(*
* Filename: makeDivisionTable.ml
*
* Purpose: Make a division table in a handy written form.
*
* Execute: ocaml makeDivisionTable.ml
*
* Or
*
* Compile: ocamlc -o makeDivisionTable.exe makeDivisionTable.ml
* Execute: makeDivisionTable 12345 32
* makeDivisionTable 500210 61
* makeDivisionTable 234 55
*
* Date: 2013. 2. 2.
* Author: pkim __AT__ scripts.pe.kr
*)
open Printf ;;
exception RuntimeError of string
exception ValueError of string
let sBASE36 = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ" ;;
let sSPACE = " " ;;
let sULINE = "__________________________________________________________" ;;
let sHIPHEN = "----------------------------------------------------------" ;;
let println s = printf "%s\n" s ;;
let print s = printf "%s" s ;;
let printUsage() =
(* print("Using: makeDivisionTable [numerator] [denominator]") *)
(* print("Make a division table in a handy written form.") *)
println "사용법: makeDivisionTable [피제수] [제수]" ;
println "손으로 작성한 형태의 나눗셈 표를 만들어준다." ;;
let simplify v width =
let t = [| string_of_int v |] in
let slen = (String.length t.(0)) in
if slen < width then begin
t.(0) <- (String.sub sSPACE 0 (width - slen)) ^ t.(0)
end ;
t.(0) ;;
let getSuffix v =
let t = v mod 10 in
let suffix = [| "은" |] in
if (String.contains "2459" (string_of_int t).[0]) then begin
suffix.(0) <- "는" ;
end ;
suffix.(0) ;;
let makeTable numer denom quotient =
let strNumer = sprintf "%d" numer in
let strDenom = sprintf "%d" denom in
let strQuotient = sprintf "%d" quotient in
let lenN = String.length strNumer in
let lenD = String.length strDenom in
let lenQ = String.length strQuotient in
let offsetLeft = 3 + lenD + 3 in
let spaces = " " in
let uline = String.sub sULINE 0 (lenN + 2) in
let sline = String.sub sHIPHEN 0 lenN in
let bias = lenN - lenQ in
println ((String.sub spaces 0 offsetLeft) ^ (String.sub spaces 0 bias) ^ (sprintf "%d" quotient)) ;
println ((String.sub spaces 0 (offsetLeft - 2)) ^ uline) ;
print (" " ^ strDenom ^ " ) " ^ strNumer) ;
let strTmpR = [| String.sub strNumer 0 (bias + 1) |] in
let tmpR = ref (int_of_string strTmpR.(0)) in
let tmpSub = ref 0 in
let oneDigit = [| "" |] in
for i = 0 to (lenQ - 1) do
if (String.sub strQuotient i 1) = "0" then begin
if i + 1 < lenQ then begin
oneDigit.(0) <- (String.sub strNumer (bias + i + 1) 1) ;
printf "%s" oneDigit.(0) ;
strTmpR.(0) <- (strTmpR.(0) ^ oneDigit.(0)) ;
tmpR := int_of_string strTmpR.(0)
end
end
else begin
print_newline() ;
tmpSub := (int_of_string (String.sub strQuotient i 1)) * denom ;
printf "%s\n" ((String.sub spaces 0 offsetLeft) ^ (simplify !tmpSub (bias + i + 1))) ;
printf "%s\n" ((String.sub spaces 0 offsetLeft) ^ sline) ;
tmpR := !tmpR - !tmpSub ;
if !tmpR = 0 && i + 1 < lenQ then begin
printf "%s" ((String.sub spaces 0 offsetLeft) ^ (String.sub spaces 0 (bias + i + 1)) ) ;
end
else begin
printf "%s" ((String.sub spaces 0 offsetLeft) ^ (simplify !tmpR (bias + i + 1))) ;
end ;
strTmpR.(0) <- sprintf "%d" !tmpR ;
if i + 1 < lenQ then begin
oneDigit.(0) <- (String.sub strNumer (bias + i + 1) 1) ;
if (String.length oneDigit.(0)) > 0 then
print oneDigit.(0) ;
strTmpR.(0) <- (strTmpR.(0) ^ oneDigit.(0))
end ;
tmpR := int_of_string strTmpR.(0)
end
done ;
printf "\n" ;
!tmpR ;;
let main() =
let cmdArgs = Sys.argv in
if (Array.length cmdArgs < 3 || "-h" = cmdArgs.(1)) then begin
printUsage() ;
exit(1)
end ;
let a = [| 0 |] in
let b = [| 1 |] in
(*
try begin
a.(0) <- int_of_string (cmdArgs.(1)) ;
b.(0) <- int_of_string (cmdArgs.(2)) ;
end
with
| Failure e -> ( begin
printf "피제수: %s, 제수: %s\n" (cmdArgs.(1)) (cmdArgs.(2));
printf "숫자 입력에 오류가 있습니다.\n";
(* exit(1); *)
end; ) ;
*)
a.(0) <- int_of_string (cmdArgs.(1)) ;
b.(0) <- int_of_string (cmdArgs.(2)) ;
if a.(0) <= 0 then begin
printf "피제수: %d\n" a.(0) ;
printf "피제수는 양의 정수라야 합니다.\n" ;
exit(1)
end
else if b.(0) <= 0 then begin
printf "제수: %d\n" b.(0) ;
printf "제수는 양의 정수라야 합니다.\n" ;
exit(1)
end ;
let q = a.(0) / b.(0) in
let r = a.(0) mod b.(0) in
printf "나눗셈 %d ÷ %d 의 결과: " a.(0) b.(0) ;
printf "몫: %d, " q ;
printf "나머지: %d\n" r ;
print_newline();
let k = makeTable a.(0) b.(0) q in
if k = r then
printf "\n나머지: %d\n" k ;
if k = 0 then begin
printf "%d = %d x %d\n" a.(0) b.(0) q ;
printf "%d%s %d의 배수(mupltiple)이다.\n" a.(0) (getSuffix a.(0)) b.(0) ;
printf "%d%s %d의 약수(divisor)이다.\n" b.(0) (getSuffix b.(0)) a.(0)
end
else begin
printf "%d = %d x %d + %d\n" a.(0) b.(0) q r ;
printf "%d%s %d의 배수(mupltiple)가 아니다.\n" a.(0) (getSuffix a.(0)) b.(0)
end ;;
main();;

컴파일> fsc --codepage:949   MakeDivisionTable.fs

실행> MakeDivisionTable.py 500210 61
나눗셈 500210 ÷ 61 의 결과: 몫: 8200, 나머지: 10

          8200
      ________
   61 ) 500210
        488
        ------
         122
         122
        ------
            10

나머지: 10
500210 = 61 x 8200 + 10
500210은 61의 배수(mupltiple)가 아니다.

'프로그래밍 > OCaml' 카테고리의 다른 글

손으로 계산하는 긴자리 곱셈표 만들기 with OCaml (0)	2013.02.02
문자열 거꾸로 하기 with OCaml (0)	2013.02.02
OCaml 언어로 큰 정수(big integer) 계산하기 (0)	2013.01.30
7비트 ASCII 코드표 만들기 예제 with OCaml (0)	2013.01.29
OCaml 에 Extlib 설치하고 사용하는 예 (0)	2013.01.29

Posted by Scripter

,

OCaml 언어로 큰 정수(big integer) 계산하기

프로그래밍/OCaml 2013. 1. 30. 14:21

자리수가 매우 긴 정수(큰 정수, big integer)를 계산하려면

C/C++ 언어로는 gmp 또는 mpir 라이브러리를 쓰면 되고

Java 언어로는 java.math.BigInteger 클래스를 사용하면 되고,

C# 언어로는 System.Numerics.BigInteger 클래스를 사용하면 되고,

Python 언어로는 long 타입(Python 이 자체적으로 알아서 int 타입과 long 타입을 자동 변환함)을쓰면 되고,

Haskell 언어로는 (Int 타입 대신) Integer 타입을 쓰면 된다.

F# 언어의 경우에는 F 샤프 를 참조한다,

그렇다면 OCaml 언어로는 big integer 계산을 어떻게 할까?

답은 의외로 간단하다. 이미 lib 폴더에 설치되어 있는 라이브러리 nums.cma 를 불러 쓰면 된다.

toplevel 에서 사용하거니 ocaml 로 스크립트를 실행할 때는 디렉티브 구문 #load "nums,cma" 를 사용하면 된다. 그러나 ocamlc 명령을 컴파일할 때는 이 디렉티브가 통하지 않으니 이 디렉토리 구문을 주석 처리 하고 컴파일하는 명령줄에 nums.cma 를 추가하면 된다. 이 디렉티브가 없더라도 ocaml 명령으로 스크립트를 실행하는 명령줄에 nums.cma 를 추가하면 된다. 명령 줄에 이를 추가하지 않으면, 정의되지 않은 전역적인(global) Num 을 참조한다는 에러 메시지가 뜬다.

Error: Reference to undefined global `Num'

OCaml 언어에서 big integer 타입의 사칙 연산 기호는 +, -, *, / 가 아니라 +/, -/. */. // 이다. (연산 기호 모두 / 문자가 하나씩 더 붙는다.)

1) 스크립트로 실행하기

프롬프트> ocaml nums.cma calcBigFactorial.ml

2) 컴파일한 후 실행하기

프롬프트> ocamlc -o calcBigFactorial.exe nums.cma calcBigFactorial.ml

프롬프트> calcBigFactorial

(*
* Filename: calcBigFactorial.ml
*
*       Purpose: Caculation big integers and big rationals with OCaml language.
*
*   Execute: ocaml nums.cma calcBigFactorial.ml
*
*    Or
*
*   Compile: ocamlc -o calcBigFactorial.exe nums.cma calcBigFactorial.ml
*   Execute: calcBigFactorial.exe
*
*    See: http://caml.inria.fr/resources/doc/faq/core.en.html
*    Date: 2013. 1. 30.
*)

(* #load "nums.cma";; *) (* This line works in the toplevel of OCaml *)

open Num;;
open Format;; (* This is reauired for printf *)

(* let print_num ff n = fprintf ff "%s" (string_of_num n);; *)

let rec fact n =
if n <= 0 then (num_of_int 1) else num_of_int n */ (fact (n - 1));;

let x = 100
in
printf "%d! = %s\n" x (string_of_num (fact x));;

(*
Output:
100! = 9332621544394415268169923885626670049071596826438162146859296389521759999
32299156089414639761565182862536979208272237582511852109168640000000000000000000
00000
*)

'프로그래밍 > OCaml' 카테고리의 다른 글

문자열 거꾸로 하기 with OCaml (0)	2013.02.02
손으로 만드는 나눗셈 계산표 with OCaml (0)	2013.02.01
7비트 ASCII 코드표 만들기 예제 with OCaml (0)	2013.01.29
OCaml 에 Extlib 설치하고 사용하는 예 (0)	2013.01.29
진법(radix) 표 만들기 예제 with OCaml (0)	2013.01.28

Posted by Scripter

,

7비트 ASCII 코드표 만들기 예제 with OCaml

프로그래밍/OCaml 2013. 1. 29. 18:31

ASCII(애스키)란 American Standard Code for Information Interchange의 줄임글로서, 영문자에 기초한 문자 인코딩이다. 이 문자 인코딩에는 C0 제어문자(C0 control character)도 포함되어 있다. ( 참고: ASCII - Wikipedia, the free encyclopedia )

다음은 7bit ASCII 코드표를 만들어 보여주는 OCaml 소스 코드이다. 소스 코드 중에 진법변환에 필요한 함수

atoi string radix
itoa number radix

를 OCaml 코드로 자체 작성하여 사용하였다.

(아래의 소스는 Python 소스를 F# 소스로 일대일 변환 수정하고, 또 F# 소스를 OCaml 소스로 바꾼 것이라서 명령형 언어 특징을 위주로 작성되어 있다. 그래서 함수형 언어의 관점으로 보면 사이드 이팩트가 많아 난잡하게 보이는 소스이다.)

(*
* Filename: makeAsciiTable.ml
* Make a table of ascii codes.
*
* Execute: ocaml makeAsciiTable.ml
*
* Or
*
* Compile: ocamlc -o makeAsciiTable.exe makeAsciiTable.ml
* Execute: makeAsciiTable
*
* Date: 20013. 1. 29.
* Author: pkim __AT__ scripts.pe.kr
*)
open Printf;;
exception RuntimeError of string
exception ValueError of string
let println s = printf "%s\n" s ;;
let print s = printf "%s" s ;;
let printUsage() =
println "Usage: makeAsciiTable" ;
println "Make a table of ascii codes." ;;
let split_char sep str =
let rec indices acc i =
try
let i = succ(String.index_from str i sep) in
indices (i::acc) i
with Not_found ->
(String.length str + 1) :: acc
in
let is = indices [0] 0 in
let rec aux acc = function
| last::start::tl ->
let w = String.sub str start (last-start-1) in
aux (w::acc) (start::tl)
| _ -> acc
in
aux [] is ;;
let sBASE36 = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ" ;;
let rec sdup str n =
match n with
| 0 -> ""
| k when k > 0 -> str ^ (sdup str (n - 1))
| _ -> ""
let contains s1 s2 =
try
let len = String.length s2 in
for i = 0 to (String.length s1) - len do
if String.sub s1 i len = s2 then raise Exit
done;
false
with Exit -> true ;;
let join list sep =
let rec join' list acc =
match list with
| [] -> ""
| [single] -> single
| one::[two] ->
if acc = "" then one ^ sep ^ two
else acc ^ one ^ sep ^ two
| first::others -> join' others (acc ^ first ^ ", ")
in
join' list "" ;;
let str_reverse str =
let len = String.length str in
let res = String.create len in
for i = 0 to pred len do
let j = pred len - i in
res.[i] <- str.[j]
done;
res ;;
let itoa num radix =
let isNegative = ref false in
let num1 = num + 0 in
let numx = ref num1 in
if num < 0 then begin
isNegative := true ;
numx := (-num)
end ;
let nnumx = !numx in
let q1 = nnumx in
let q = ref q1 in
let r = ref 0 in
let slen = ref 1 in
while (!q >= radix) do
r := !q mod radix ;
q := !q / radix ;
slen := !slen + 1
done ;
let sslen = !slen in
let str = String.create sslen in
let p1 = nnumx in
let p = ref p1 in
for i = 0 to sslen - 1 do
r := !p mod radix ;
p := !p / radix ;
str.[i] <- sBASE36.[!r]
done ;
let str2 = str_reverse str in
str2;;
let atoi s radix =
let ret = ref 0 in
let isNegative = ref false in
let len = String.length s in
let valx = ref 0 in
let c1 = s.[0] in
let c = ref c1 in
if !c = '-' then
isNegative := true
else if (!c >= '0' && !c <= '9') then
ret := (int_of_char !c) - (int_of_char '0')
else if (!c >= 'A' && !c <= 'Z') then
ret := (int_of_char !c) - (int_of_char 'A') + 10
else if (!c >= 'a' && !c <= 'z') then
ret := (int_of_char !c) - (int_of_char 'a') + 10 ;
if (!ret >= radix) then
raise (ValueError (sprintf "Can not read \"%s\" (as radix %d): '%c' is invalid." s radix !c ) ) ;
for i = 1 to len - 1 do
c := s.[i] ;
ret := (!ret)*radix ;
if (!c >= '0' && !c <= '9') then
valx := int_of_char !c - int_of_char '0'
else if (!c >= 'A' && !c <= 'Z') then
valx := int_of_char !c - int_of_char 'A' + 10
else if (!c >= 'a' && !c <= 'z') then
valx := int_of_char !c - int_of_char 'a' + 10 ;
if (!valx >= radix) then
raise (ValueError (sprintf "Can not read \"%s\" (as radix %d): '%c' is invalid." s radix !c ) ) ;
ret := (!ret) + (!valx)
done;
if (!isNegative) then
ret := (-(!ret) ) ;
!ret ;;
let asc = [|
"NUL"; "SOH"; "STX"; "ETX"; "EOT";
"ENQ"; "ACK"; "BEL"; "BS"; "HT";
"LF"; "VT"; "FF"; "CR"; "SO";
"SI"; "DLE"; "DC1"; "DC2"; "DC3";
"DC4"; "NAK"; "SYN"; "ETB"; "CAN";
"EM"; "SUB"; "ESC"; "FS"; "GS";
"RS"; "US"; "Spc" |] ;;
let control = [|
"NUL (null)";
"SOH (start of heading)";
"STX (start of text)";
"ETX (end of text)";
"EOT (end of transmission)";
"ENQ (enquiry)";
"ACK (acknowledge)";
"BEL (bell)";
"BS (backspace)";
"TAB (horizontal tab)";
"LF (line feed, NL new line)";
"VT (vertical tab)";
"FF (form feed, NP new page)";
"CR (carriage return)";
"SO (shift out)";
"SI (shift in)";
"DLE (data link escape)";
"DC1 (device control 1)";
"DC2 (device control 2)";
"DC3 (device control 3)";
"DC4 (device control 4)";
"NAK (negative acknowledge)";
"SYN (synchronous idle)";
"ETB (end of trans. block)";
"CAN (cancel)";
"EM (end of medium)";
"SUB (substitute, EOF end of file)";
"ESC (escape)";
"FS (file separator)";
"GS (group separator)";
"RS (record separator)";
"US (unit separator)" |] ;;
let makeTable() =
let sbuf = " " in
let sbuf = sbuf ^ (sdup "+----" 8) in
let sbuf = sbuf ^ "+" in
println sbuf ;
let sbuf = " " in
let sbuf = sbuf ^ "| 0- " in
let sbuf = sbuf ^ "| 1- " in
let sbuf = sbuf ^ "| 2- " in
let sbuf = sbuf ^ "| 3- " in
let sbuf = sbuf ^ "| 4- " in
let sbuf = sbuf ^ "| 5- " in
let sbuf = sbuf ^ "| 6- " in
let sbuf = sbuf ^ "| 7- " in
let sbuf = sbuf ^ "|" in
println sbuf ;
let sbuf = "+---" in
let sbuf = sbuf ^ (sdup "+----" 8) in
let sbuf = sbuf ^ "+" in
println sbuf ;
let aa = Array.make_matrix 16 8 "" in
for i = 0 to (16-1) do
let sbuf = (itoa i 16) in
let tbuf = "| " ^ sbuf ^ " " in
print tbuf ;
for j = 0 to (8-1) do
if j*16 + i <= 32 then
aa.(i).(j) <- sprintf "| %-3s" asc.(j*16 + i)
else if j*16 + i = 127 then
aa.(i).(j) <- sprintf "| %-3s" "DEL"
else begin
let c = char_of_int (j*16 + i) in
aa.(i).(j) <- sprintf "| %1c " c
end ;
print aa.(i).(j)
done;
println "|"
done ;
let sbuf = "+---" in
let sbuf = sbuf ^ (sdup "+----" 8) in
let sbuf = sbuf ^ "+" in
println sbuf ;
println "" ;
for i = 0 to (16-1) do
let tbuf = sprintf "%-30s %-34s" control.(i) control.(i+16) in
println tbuf
done ;
"" ;;
(* Begin here *)
let main() =
let cmdArgs = Sys.argv in
if (Array.length cmdArgs > 1 && "-h" = cmdArgs.(1)) then begin
printUsage() ;
exit(1)
end ;
makeTable() ;;
main() ;;

컴파일> ocamlc -o makeAsciiTable.exe makeAsciiTable.ml

실행> makeAsciiTable

   
    +----+----+----+----+----+----+----+----+
    | 0- | 1- | 2- | 3- | 4- | 5- | 6- | 7- |
+---+----+----+----+----+----+----+----+----+
| 0 | NUL| DLE| Spc|  0 |  @ |  P |  ` |  p |
| 1 | SOH| DC1|  ! |  1 |  A |  Q |  a |  q |
| 2 | STX| DC2|  " |  2 |  B |  R |  b |  r |
| 3 | ETX| DC3|  # |  3 |  C |  S |  c |  s |
| 4 | EOT| DC4|  $ |  4 |  D |  T |  d |  t |
| 5 | ENQ| NAK|  % |  5 |  E |  U |  e |  u |
| 6 | ACK| SYN|  & |  6 |  F |  V |  f |  v |
| 7 | BEL| ETB|  ' |  7 |  G |  W |  g |  w |
| 8 | BS | CAN|  ( |  8 |  H |  X |  h |  x |
| 9 | HT | EM |  ) |  9 |  I |  Y |  i |  y |
| A | LF | SUB|  * |  : |  J |  Z |  j |  z |
| B | VT | ESC|  + |  ; |  K |  [ |  k |  { |
| C | FF | FS |  , |  < |  L |  \ |  l |  | |
| D | CR | GS |  - |  = |  M |  ] |  m |  } |
| E | SO | RS |  . |  > |  N |  ^ |  n |  ~ |
| F | SI | US |  / |  ? |  O |  _ |  o | DEL|
+---+----+----+----+----+----+----+----+----+

NUL (null)                      DLE (data link escape)
SOH (start of heading)          DC1 (device control 1)
STX (start of text)             DC2 (device control 2)
ETX (end of text)               DC3 (device control 3)
EOT (end of transmission)       DC4 (device control 4)
ENQ (enquiry)                   NAK (negative acknowledge)
ACK (acknowledge)               SYN (synchronous idle)
BEL (bell)                      ETB (end of trans. block)
BS  (backspace)                 CAN (cancel)
TAB (horizontal tab)            EM  (end of medium)
LF  (line feed, NL new line)    SUB (substitute, EOF end of file)
VT  (vertical tab)              ESC (escape)
FF  (form feed, NP new page)    FS  (file separator)
CR  (carriage return)           GS  (group separator)
SO  (shift out)                 RS  (record separator)
SI  (shift in)                  US  (unit separator)

'프로그래밍 > OCaml' 카테고리의 다른 글

손으로 만드는 나눗셈 계산표 with OCaml (0)	2013.02.01
OCaml 언어로 큰 정수(big integer) 계산하기 (0)	2013.01.30
OCaml 에 Extlib 설치하고 사용하는 예 (0)	2013.01.29
진법(radix) 표 만들기 예제 with OCaml (0)	2013.01.28
대화형 모드의 진법(radix) 변환 예제 with OCaml (0)	2013.01.27

Posted by Scripter

,

OCaml 에 Extlib 설치하고 사용하는 예

프로그래밍/OCaml 2013. 1. 29. 08:26

Extlib 는 OCaml 에 붙여 쓰는 여러 가지 (써드 파티) 라이브러리 중의 하나이며, OCaml 의 표준 라이브러리가 지원하지 않는 일들(예를 들면 UTF8 문자 지원)을 한다.

현재 최신 버전인 Extlib 1.5.3 은 OCaml 4.00.0 과 4.00.1 용 라이브러리이고, Extlib 1.5.1, 1.5.2 는 OCaml 3.12.0, 3.12.1 용 라이브러리이다

64비트 윈도우의 경우 Extlib 가 전부 설치되지 못하고, 일부(마이트 코드영 라이브러리, 설치 과정 중 1번 선택)만 설치되는 현상이 있다.

설치하는 명령은 (Extlib 의 압축이 해제된 폴더에서)

Prompt> ocaml install.ml

이다. 설치 과정 중에 모두(3번)를 선택하여 설치가 실패할 경우에는 1번(바이트 코드)를 선택한다. 설치 후 필요한 것은 라이브러리 파일 extLib,cma 이다. 이 라이브러리 파일이 OCaml 3.12.0 과 3.12.1 의 경우에는 %OCAML설치폴더% 에 생성되지만, OCaml 4.00.0 과 4.00.1 의 경우에는 %OCAML설치폴더%\lib\site-lib\extlib 폴더에 생성된다.

Extlib 의 설치가 성공적으로 끝났으면, 다음 간단한 파일을 작성하고 실행해 보자.

* 파일명: helloUTF8.ml (파일 저장 시에 UTF8 인코딩로 저장)

open Printf
open UTF8
(* open UChar *)

let () = Printf.printf "Hello, world!\n"
let () = Printf.printf "안녕하세요?\n"

let str = "안녕하세요?1234"
let () = Printf.printf "length str = %d\n" (length str)
let () = Printf.printf "nth str 5 = %c\n" (UChar.char_of (get str 5))
let () = Printf.printf "nth str 5 = %c\n" (UChar.char_of (get str 6))
let () = Printf.printf "nth str 5 = %c\n" (UChar.char_of (get str 7))
let () = Printf.printf "nth str 5 = %c\n" (UChar.char_of (get str 8))

ocaml 이나 ocamlc 를 실행할 때는 항상 환경변수 PATH 와 OCAMLLIB 가 알맞게 맞추어져 있는지 확인한다. ocaml 의 버전을 확인하는 병령은

Prompt> ocaml -version

이다. (참고로 Extlib 가 설치된 직후에는 이 명령이 먹히지 않으므로 새로운 명령창을 열고, PATH 와 OCAMLLIB 를 다시 설정해 준다.)

Prompt> set PATH=C:\OCaml312\bin;%PATH%

Prompt> set OCAMLLIB=C:\OCaml312\lib

* 환경변수 OCAMLLIB 의 설정 확인

Prompt> echo %OCAMLLIB%
C:\OCaml312\lib

* OCaml 3.12.1 에 설치된 Extlib 를 사용하는 실행 명령

Prompt> ocaml -I c:\ocaml312 extLib.cma helloUTF8.ml

실행 결과:
Hello, world!
안녕하세요?
length str = 10
nth str 5 = ?
nth str 5 = 1
nth str 5 = 2
nth str 5 = 3

* OCaml 4.00.1 에 설치된 Extlib 를 사용하는 실행 명령

Prompt> ocaml -I c:\ocaml400\lib\site-lib\extlib extLib.cma helloUTF8.ml

* 파일명: testDynArray.ml (동적 배열 모튤 DynArray 을 사용하는 OCaml 소스)

(*
* Filename: testDynArray.ml
*
*     Purpose: Testing the DynArray module of Extlib.
*
*   Execute: ocaml -I C:\OCaml312 extLib.cma testDynArray.ml
*
*     Or
*
*   Compile: ocaml -I C:\OCaml312 extLib.cma -o testDynArray.exe testDynArray.ml
*   Execute: testDynArray
*
*     Or
*
*   Execute: ocaml -I C:\OCaml400\lib\site-lib\exlib extLib.cma testDynArray.ml
*
*     Date: 2013. 1. 29.
*   Author: pkim _AT_ scripts.pe.kr
*)

open Printf
(* open DynArray *)

let darr = DynArray.create()

let () = DynArray.add darr 5
let () = printf "length of darr = %d\n" (DynArray.length darr)
let () = printf "the first element of darr is %d\n" (DynArray.get darr 0)

let () = DynArray.add darr 7
let () = printf "length of darr = %d\n" (DynArray.length darr)
let () = printf "the last element of darr is %d\n" (DynArray.last darr)

let () = DynArray.iter (printf "%d, ") darr
let () = print_newline()

let () = DynArray.iter (printf "%d, ") (DynArray.map (fun x -> x*x) darr)
let () = print_newline()
let () = print_newline()

let () = DynArray.add darr (-1)
let () = printf "length of darr = %d\n" (DynArray.length darr)
let () = printf "the last element of darr is %d\n" (DynArray.last darr)
let () = DynArray.iter (printf "%d, ") darr
let () = print_newline()

let sumIt arr = DynArray.fold_right (+) arr 0

let () = printf "The summmation of elements of the list is %d\n" (sumIt darr)
let () = print_newline()

let () = printf "Inserting -1 at the second position of the list\n"
let () = DynArray.insert darr 1 (-3)
let () = printf "length of darr = %d\n" (DynArray.length darr)
let () = printf "the last element of darr is %d\n" (DynArray.last darr)
let () = DynArray.iter (printf "%d, ") darr
let () = print_newline()
let () = print_newline()

let () = printf "Deleting the third element of the list\n"
let () = DynArray.delete darr 2
let () = printf "length of darr = %d\n" (DynArray.length darr)
let () = printf "the last element of darr is %d\n" (DynArray.last darr)
let () = DynArray.iter (printf "%d, ") darr
let () = print_newline()
let () = printf "The summmation of absolutes of elements of the list is %d\n" (sumIt (DynArray.map abs darr))
let () = print_newline()

(*
Output:
length of darr = 1
the first element of darr is 5
length of darr = 2
the last element of darr is 7
5, 7,
25, 49,

length of darr = 3
the last element of darr is -1
5, 7, -1,
The summmation of elements of the list is 11

Inserting -1 at the second position of the list
length of darr = 4
the last element of darr is -1
5, -3, 7, -1,

Deleting the third element of the list
length of darr = 3
the last element of darr is -1
5, -3, -1,
The summmation of absolutes of elements of the list is 9
*)

'프로그래밍 > OCaml' 카테고리의 다른 글

OCaml 언어로 큰 정수(big integer) 계산하기 (0)	2013.01.30
7비트 ASCII 코드표 만들기 예제 with OCaml (0)	2013.01.29
진법(radix) 표 만들기 예제 with OCaml (0)	2013.01.28
대화형 모드의 진법(radix) 변환 예제 with OCaml (0)	2013.01.27
황금비율(golden ratio) 구하기 with OCaml (0)	2013.01.27

Posted by Scripter

,

진법(radix) 표 만들기 예제 with OCaml

프로그래밍/OCaml 2013. 1. 28. 23:43

컴퓨터 프로그래밍에서 꼭 알아두어야 할 주요 진법은 당연히 10진법, 2진법, 8진법, 16진법이다.
다음은 0 에서 15 까지의 정수를 10진법, 2진법, 8진법, 16진법의 표로 만들어 보여주는 OCaml 소스 코드이다. 진법 변환에 필요한 함수

int = atoi string radix (즉, atoi :: string -> int -> int )
string = itoa number radix (즉, itoa :: int -> int -> string )

를 OCaml 코드로 자체 작성하여 사용하였다.

(아래의 소스는 Python 소스를 F# 소스로 일대일 변환 수정하고, 또 F# 소스를 OCaml 소스로 바꾼 것이라서 명령형 언어 특징을 위주로 작성되어 있다. 그래서 함수형 언어의 관점으로 보면 사이드 이팩트가 많아 난잡하게 보이는 소스이다.)

(*
* Filename: makeRadixTable.ml
* Show the radix table with 10-, 2-, 8-, 16-radices.
*
* Execute: ocaml makeRadixTable.ml
*
* Or
*
* Compile: ocamlc -o makeRadixTable.exe makeRadixTable.ml
* Execute: makeRadixTable
*
* Date: 2013. 1. 29.
* Author: pkim __AT__scripts.pe.kr
*)
exception RuntimeError of string
exception ValueError of string
open Printf ;;
let println s = printf "%s\n" s ;;
let print s = printf "%s" s ;;
let printUsage dummy =
println "Usage: makeRadixTable" ;
println "Show the radix table with 10-, 2-, 8-, 16-radices." ;;
let split_char sep str =
let rec indices acc i =
try
let i = succ(String.index_from str i sep) in
indices (i::acc) i
with Not_found ->
(String.length str + 1) :: acc
in
let is = indices [0] 0 in
let rec aux acc = function
| last::start::tl ->
let w = String.sub str start (last-start-1) in
aux (w::acc) (start::tl)
| _ -> acc
in
aux [] is ;;
let sBASE36 = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ" ;;
let rec sdup str n =
match n with
| 0 -> ""
| k when k > 0 -> str ^ (sdup str (n - 1))
| _ -> ""
let contains s1 s2 =
try
let len = String.length s2 in
for i = 0 to (String.length s1) - len do
if String.sub s1 i len = s2 then raise Exit
done;
false
with Exit -> true ;;
let join list sep =
let rec join' list acc =
match list with
| [] -> ""
| [single] -> single
| one::[two] ->
if acc = "" then one ^ sep ^ two
else acc ^ one ^ sep ^ two
| first::others -> join' others (acc ^ first ^ ", ")
in
join' list "" ;;
let str_reverse str =
let len = String.length str in
let res = String.create len in
for i = 0 to pred len do
let j = pred len - i in
res.[i] <- str.[j]
done;
res ;;
let itoa num radix =
let isNegative = ref false in
let num1 = num + 0 in
let numx = ref num1 in
if num < 0 then begin
isNegative := true ;
numx := (-num)
end ;
let nnumx = !numx in
let q1 = nnumx in
let q = ref q1 in
let r = ref 0 in
let slen = ref 1 in
while (!q >= radix) do
r := !q mod radix ;
q := !q / radix ;
slen := !slen + 1
done ;
let sslen = !slen in
let str = String.create sslen in
let p1 = nnumx in
let p = ref p1 in
for i = 0 to sslen - 1 do
r := !p mod radix ;
p := !p / radix ;
str.[i] <- sBASE36.[!r]
done ;
let str2 = str_reverse str in
str2;;
let atoi s radix =
let ret = ref 0 in
let isNegative = ref false in
let len = String.length s in
let valx = ref 0 in
let c1 = s.[0] in
let c = ref c1 in
if !c = '-' then
isNegative := true
else if (!c >= '0' && !c <= '9') then
ret := (int_of_char !c) - (int_of_char '0')
else if (!c >= 'A' && !c <= 'Z') then
ret := (int_of_char !c) - (int_of_char 'A') + 10
else if (!c >= 'a' && !c <= 'z') then
ret := (int_of_char !c) - (int_of_char 'a') + 10 ;
if (!ret >= radix) then
raise (ValueError (sprintf "Can not read \"%s\" (as radix %d): '%c' is invalid." s radix !c ) ) ;
for i = 1 to len - 1 do
c := s.[i] ;
ret := (!ret)*radix ;
if (!c >= '0' && !c <= '9') then
valx := int_of_char !c - int_of_char '0'
else if (!c >= 'A' && !c <= 'Z') then
valx := int_of_char !c - int_of_char 'A' + 10
else if (!c >= 'a' && !c <= 'z') then
valx := int_of_char !c - int_of_char 'a' + 10 ;
if (!valx >= radix) then
raise (ValueError (sprintf "Can not read \"%s\" (as radix %d): '%c' is invalid." s radix !c ) ) ;
ret := (!ret) + (!valx)
done;
if (!isNegative) then
ret := (-(!ret) ) ;
!ret ;;
let makeTable() =
let sbuf = "" in
let sbuf = sbuf ^ (sdup "+-------" 4) in
let sbuf = sbuf ^ "+" in
println sbuf ;
let sbuf = "| Dec" in
let sbuf = sbuf ^ "\t| Bin" in
let sbuf = sbuf ^ "\t| Oct" in
let sbuf = sbuf ^ "\t| Hex |" in
println sbuf ;
let sbuf = "" in
let sbuf = sbuf ^ (sdup "+-------" 4) in
let sbuf = sbuf ^ "+" in
println sbuf ;
for i = 0 to (16-1) do
let sbuf = sprintf "| %2d" i in
let abuf = itoa i 2 in
let tbuf = sprintf "\t| %4s" abuf in
let sbuf = sbuf ^ tbuf in
let abuf = itoa i 8 in
let tbuf = sprintf "\t| %2s" abuf in
let sbuf = sbuf ^ tbuf in
let abuf = itoa i 16 in
let tbuf = sprintf "\t| %-2s |" abuf in
let sbuf = sbuf ^ tbuf in
println sbuf
done ;
let sbuf = "" in
let sbuf = sbuf ^ (sdup "+-------" 4) in
let sbuf = sbuf ^ "+" in
println sbuf ;
"" ;;
let main() =
let cmdArgs = Sys.argv in
if (Array.length cmdArgs > 1 && "-h" = cmdArgs.(1)) then begin
printUsage() ;
exit(1)
end ;
makeTable() ;;
main()

실행 결과:

+-------+-------+-------+-------+ | Dec | Bin | Oct | Hex | +-------+-------+-------+-------+ | 0 | 0 | 0 | 0 | | 1 | 1 | 1 | 1 | | 2 | 10 | 2 | 2 | | 3 | 11 | 3 | 3 | | 4 | 100 | 4 | 4 | | 5 | 101 | 5 | 5 | | 6 | 110 | 6 | 6 | | 7 | 111 | 7 | 7 | | 8 | 1000 | 10 | 8 | | 9 | 1001 | 11 | 9 | | 10 | 1010 | 12 | A | | 11 | 1011 | 13 | B | | 12 | 1100 | 14 | C | | 13 | 1101 | 15 | D | | 14 | 1110 | 16 | E | | 15 | 1111 | 17 | F | +-------+-------+-------+-------+

'프로그래밍 > OCaml' 카테고리의 다른 글

7비트 ASCII 코드표 만들기 예제 with OCaml (0)	2013.01.29
OCaml 에 Extlib 설치하고 사용하는 예 (0)	2013.01.29
대화형 모드의 진법(radix) 변환 예제 with OCaml (0)	2013.01.27
황금비율(golden ratio) 구하기 with OCaml (0)	2013.01.27
현재 시각 알아내기 for OCaml (0)	2013.01.27

Posted by Scripter

,

대화형 모드의 진법(radix) 변환 예제 with OCaml

프로그래밍/OCaml 2013. 1. 27. 23:53

다음은 대화형 모드(interactive mode)에서 진법 변환(radix conversion)하는 OCaml 소스 코드이다.

   주: 이 소스는 Python 용으로 만들어 둔 소스를 F# 언어로 바꾸고, 다시 이를 Ocaml
        언어로 바꾸느라 OCaml 언어의 명령형 언어 특징을 위주로 짜여져 있다.

메뉴는 주메뉴 Command: (S)et radix, (A)bout, (Q)uit or E(x)it
와 부메뉴 SubCommand: 'main()' to goto Main menu, 'exit()' or 'quit()' to exit
로 구성되어 있으며, 진법 변환의 핵심은 소스 코드에 자체 작성된 함수 atoi 와 itoa 의 사용이다.

   let value = atoi str srcRdx
         let str = itoa value destRdx

지원되는 진법은 2진법에서 36진법까지이다.

(*
* Filename: convertRadix.ml
* Convert radix in an interactive mode.
*
* Execute: ocaml convertRadix.ml
*
* Or
*
* Compile: ocamlc -o convertRadix.exe convertRadix.ml
* Execute: convertRadix
*
* Date: 2013. 1. 28.
* Author: P. Kim ( pkim _AT_ scripts.pe.kr )
*)
open Printf;;
exception RuntimeError of string
exception ValueError of string
exception Exit
let println s =
printf "%s\n" s ;;
let print s =
printf "%s" s ;;
let printUsage() =
println "Usage: convertRadix" ;
println "Convert radix in a interactive mode, where the maximum radix is 36." ;;
let printAbout() =
println " About: Convert radix in a interactive mode." ;;
let printMainMenu() =
println " Command: (S)et radix, (A)bout, (Q)uit or E(x)it" ;;
let printMainPrompt() =
print " Prompt> " ;;
let printSubMenu srcRadix destRadix =
println (sprintf " Convert Radix_%d to Radix_%d\n" srcRadix destRadix ) ;
println (" SubCommand: 'main()' to goto Main menu, 'exit()' or 'quit()' to exit" ) ;;
let printSubPrompt() =
print " Input Value>> " ;;
let split_char sep str =
let rec indices acc i =
try
let i = succ(String.index_from str i sep) in
indices (i::acc) i
with Not_found ->
(String.length str + 1) :: acc
in
let is = indices [0] 0 in
let rec aux acc = function
| last::start::tl ->
let w = String.sub str start (last-start-1) in
aux (w::acc) (start::tl)
| _ -> acc
in
aux [] is ;;
let sBASE36 = "0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZ" ;;
let contains s1 s2 =
try
let len = String.length s2 in
for i = 0 to (String.length s1) - len do
if String.sub s1 i len = s2 then raise Exit
done;
false
with Exit -> true ;;
let join list sep =
let rec join' list acc =
match list with
| [] -> ""
| [single] -> single
| one::[two] ->
if acc = "" then one ^ sep ^ two
else acc ^ one ^ sep ^ two
| first::others -> join' others (acc ^ first ^ ", ")
in
join' list "" ;;
let str_reverse str =
let len = String.length str in
let res = String.create len in
for i = 0 to pred len do
let j = pred len - i in
res.[i] <- str.[j]
done;
res ;;
let itoa num radix =
let isNegative = ref false in
let num1 = num + 0 in
let numx = ref num1 in
if num < 0 then begin
isNegative := true ;
numx := (-num)
end ;
let nnumx = !numx in
let q1 = nnumx in
let q = ref q1 in
let r = ref 0 in
let slen = ref 1 in
while (!q >= radix) do
r := !q mod radix ;
q := !q / radix ;
slen := !slen + 1
done ;
let sslen = !slen in
let str = String.create sslen in
let p1 = nnumx in
let p = ref p1 in
for i = 0 to sslen - 1 do
r := !p mod radix ;
p := !p / radix ;
str.[i] <- sBASE36.[!r]
done ;
let str2 = str_reverse str in
str2;;
let atoi s radix =
let ret = ref 0 in
let isNegative = ref false in
let len = String.length s in
let valx = ref 0 in
let c1 = s.[0] in
let c = ref c1 in
if !c = '-' then
isNegative := true
else if (!c >= '0' && !c <= '9') then
ret := (int_of_char !c) - (int_of_char '0')
else if (!c >= 'A' && !c <= 'Z') then
ret := (int_of_char !c) - (int_of_char 'A') + 10
else if (!c >= 'a' && !c <= 'z') then
ret := (int_of_char !c) - (int_of_char 'a') + 10 ;
if (!ret >= radix) then
raise (ValueError (sprintf "Can not read \"%s\" (as radix %d): '%c' is invalid." s radix !c ) ) ;
for i = 1 to len - 1 do
c := s.[i] ;
ret := (!ret)*radix ;
if (!c >= '0' && !c <= '9') then
valx := int_of_char !c - int_of_char '0'
else if (!c >= 'A' && !c <= 'Z') then
valx := int_of_char !c - int_of_char 'A' + 10
else if (!c >= 'a' && !c <= 'z') then
valx := int_of_char !c - int_of_char 'a' + 10 ;
if (!valx >= radix) then
raise (ValueError (sprintf "Can not read \"%s\" (as radix %d): '%c' is invalid." s radix !c ) ) ;
ret := (!ret) + (!valx)
done;
if (!isNegative) then
ret := (-(!ret) ) ;
!ret ;;
let convertRadix s srcRdx destRdx =
let valx = (atoi s srcRdx) in
let ret = (itoa valx destRdx) in
let ret2 = String.uppercase ret in
ret2 ;;
let doConvert srcRadix destRadix =
println "" ;
printSubMenu srcRadix destRadix ;
let stop_flag = ref false in
try
while not (!stop_flag) do
printSubPrompt() ;
let tt = read_line() in
let cmd = ref tt in
while (String.length !cmd) = 0 do
let tt2 = read_line() in
cmd := tt2
done;
if "main()" = !cmd then begin
stop_flag := true ;
raise ( RuntimeError "" )
end
else if "exit()" = !cmd || "quit()" = !cmd then begin
exit 0
end ;
try
let srcStr = !cmd in
let destStr = (convertRadix srcStr srcRadix destRadix) in
println (sprintf " ( %s )_%d ---> ( %s )_%d" srcStr srcRadix destStr destRadix ) ;
println ""
with ValueError ex -> println (sprintf " Error caused by: %s\n" ex)
done
with RuntimeError ex -> println (sprintf " %s " ex);
println "" ;;
let doStart() =
let onlyOnce = ref true in
try
while true do
print "" ;
if (!onlyOnce) then begin
println " The supported maximum radix is 36." ;
onlyOnce := false
end ;
printMainMenu() ;
printMainPrompt() ;
let tcmds = read_line() in
let cmds = ref tcmds in
while (String.length !cmds) = 0 do
let tt = read_line() in
cmds := tt
done;
let cmd = !cmds.[0] in
if (contains "qQxX" (sprintf "%c" cmd)) && (String.length !cmds) = 1 then begin
exit 0
end
else if (contains "aA" (sprintf "%c" cmd)) && (String.length !cmds) = 1 then begin
printAbout()
end
else if (contains "sS" (sprintf "%c" cmd)) && (String.length !cmds) = 1 then begin
print " Input the source and target radices (say, 16 2): " ;
let tt = read_line() in
let line = ref tt in
let ta = (split_char ' ' !line) in
let st = ref ta in
while (List.length !st) < 2 do
print " Input the source and target radices (say, 16 2): " ;
let tt2 = read_line() in
let ta2 = (split_char ' ' tt2) in
st := ta2
done;
let st2 = Array.of_list !st in
let srcRadix = int_of_string (st2.(0)) in
let destRadix = int_of_string (st2.(1)) in
doConvert srcRadix destRadix
end ;
print ""
done
with RuntimeError ex -> println (sprintf "%s Error found!!" ex);;
(* Begin here *)
let main() =
let cmdArgs = Sys.argv in
if (Array.length cmdArgs > 1) && ("-h" = cmdArgs.(1)) then begin
printUsage() ;
exit 1
end
else begin
doStart()
end ;;
main();;

컴파일> ocamlc -o convertRadix.exe convertRadix.fs

실행> convertRadix

The supported maximum radix is 36.
Command: (S)et radix, (A)bout, (Q)uit or E(x)it
Prompt> s
Input the source and target radices (say, 16 2): 10 8

Convert Radix_10 to Radix_8

    SubCommand: 'main()' to goto Main menu, 'exit()' or 'quit()' to exit
    Input Value>> 200
        ( 200 )_10   --->   ( 310 )_8

Input Value>> main()

Command: (S)et radix, (A)bout, (Q)uit or E(x)it
Prompt> S
Input the source and target radices (say, 16 2): 8 10

Convert Radix_8 to Radix_10

    SubCommand: 'main()' to goto Main menu, 'exit()' or 'quit()' to exit
    Input Value>> 2666
        ( 2666 )_8   --->   ( 1462 )_10

Input Value>> main()

Command: (S)et radix, (A)bout, (Q)uit or E(x)it
Prompt> x

'프로그래밍 > OCaml' 카테고리의 다른 글

OCaml 에 Extlib 설치하고 사용하는 예 (0)	2013.01.29
진법(radix) 표 만들기 예제 with OCaml (0)	2013.01.28
황금비율(golden ratio) 구하기 with OCaml (0)	2013.01.27
현재 시각 알아내기 for OCaml (0)	2013.01.27
80컬럼 컨솔에 19단표 출력하기 예제 for OCaml (0)	2013.01.27

Posted by Scripter

,

황금비율(golden ratio) 구하기 with OCaml

프로그래밍/OCaml 2013. 1. 27. 18:34

다음은 이차방정식 x^2 - x - 1 = 0 의 양의 근 즉 황금비율(golden ratio)을 구하는 OCaml 소스이다. 황금비율을 구하는 비례방정식은 1 : x = x : (x+1) 이며, 이를 이차방정식으로 표현한 것이 x^2 - x - 1 = 0 이다.

See: http://en.wikipedia.org/wiki/Golden_ratio

(*
* Filename: testGoldenRatio.ml
* 황금률(즉, 이차방정식 x^2 - x - 1 = 0 의 양의 근)을 계산한다.
*
* Execute: ocaml testGoldenRatio.ml
*
* Compile: ocamlc -o testGoldenRatio.exe testGoldenRatio.ml
* Execute: testGoldenRatio
*
* Date: 2013/01/27
* Author: P. Kim [ pkim _AT_ scripts.pe.kr ]
*)
open Printf;;
let printUsing() =
printf "Using: TestGoldenRatio [-h|-help]\n" ;
printf "This calculates the value of the golden ratio.\n" ;;
exception ZeroCoefficientException;;
exception NegativeDiscriminantException;;
(* 이차방정식 a x^2 + b x + c = 0 의 근을 구한다. *)
let findQuadraticRoot a b c =
if a = 0.0 then begin
raise ZeroCoefficientException
end
else if (b*.b -. 4.0*.a*.c < 0.0) then begin
raise NegativeDiscriminantException
end;
let x1 = ((-.b) +. (sqrt (b*.b -. 4.0*.a*.c))) /. (2.0 *. a) in
let x2 = ((-.b) -. (sqrt (b*.b -. 4.0*.a*.c))) /. (2.0 *. a) in
x1, x2 ;; (* 리턴 겂 두 개 *)
(* 실행 시작 지점 *)
let cmdArgs = Sys.argv;;
if (Array.length cmdArgs > 1) && (cmdArgs.(1) = "-h" || cmdArgs.(1) = "-help") then
begin
printUsing();
exit 1
end ;;
let x1, x2 = findQuadraticRoot 1.0 (-1.0) (-1.0) ;;
if x1 >= x2 then begin
printf "The bigger root is %g " x1 ;
printf "and the less root is %g.\n" x2
end
else begin
printf "The bigger root is %g, " x2 ;
printf "and the less root is %g.\n" x1
end ;;

컴파일> ocamlc -o testGoldenRatio.exe testGoldenRatio.ml

실행> testGoldenRatio
The bigger root is 1.61803 and the less root is -0.618034.

'프로그래밍 > OCaml' 카테고리의 다른 글

진법(radix) 표 만들기 예제 with OCaml (0)	2013.01.28
대화형 모드의 진법(radix) 변환 예제 with OCaml (0)	2013.01.27
현재 시각 알아내기 for OCaml (0)	2013.01.27
80컬럼 컨솔에 19단표 출력하기 예제 for OCaml (0)	2013.01.27
(최대공약수 구하기) while 반복문 없는 예제 for OCaml (0)	2013.01.27

Posted by Scripter

,

현재 시각 알아내기 for OCaml

프로그래밍/OCaml 2013. 1. 27. 12:53

현재 시각을 컨솔에 보여주는 간단한 OCaml 언어 소스 코드이다.
UTC란 1970년 1월 1일 0시 0분 0초를 기준으로 하여 경과된 초 단위의 총 시간을 의미한다.
UTC(Universal Time Coordinated, 협정세계시, 協定世界時)

(*
* Filename: testCTimeApp.ml
*
* Execute: Uncomment the line (* #load "unix.cma" ;; *)
* ocaml testCTimeApp.ml
*
* Compile: ocamlc -g -c testCTimeApp.ml
* ocamlc -o testCTimeApp.exe unix.cma testCTimeApp.cmo
* Execute: testCTimeApp
*)
(* #load "unix.cma" ;; *) (* ocaml 로 실행 시에는 이 곳의 주석 표시 제거 *)
open Unix ;;
open Printf;;
let weekNames = [| "일"; "월"; "화"; "수"; "목"; "금"; "토" |]
let now = Unix.time ()
let {Unix.tm_sec=seconds; tm_min=minutes; tm_hour=hours;
tm_mday=day_of_month; tm_mon=month; tm_year=year;
tm_wday=wday; tm_yday=yday; tm_isdst=isdst} =
Unix.localtime now
let startOfEpoch = mktime (localtime (time ())) ;;
(* 1970년 1월 1일 0시 0분 0초부터 시작하여 현재까지의 초 *)
let () = printf "UTC: %.0f\n" (fst startOfEpoch)
(* 현재 시각 표시: 20xx년 xx월 xx일 (x요일) xx시 xx분 xx초 *)
let () = printf "%d년 " (1970 + year)
let () = printf "%d월 " (1 + month) (* Not 1 + now.Month !! *)
let () = printf "%d일 " (day_of_month)
let () = printf "(%s요일) " (weekNames.(wday))
let () = printf "%d시 " (hours)
let () = printf "%d분 " (minutes)
let () = printf "%d초" (seconds)
let () = print_newline()
(* 1월 1일은 1, 1월 2일은 2 *)
let () = printf "올해 몇 번째 날: %d, " (yday)
(* true 이면 서머타임 있음 *)
let str = if not (isdst) then "안함" else "함"
let () = printf "서머타임 적용 여부: %s\n" str

컴파일> ocamlc -o testCTimeApp.exe testCTimeApp.ml

실행> testCTimeApp
UTC: 1359278723
2083년 1월 27일 (일요일) 18시 25분 23초
올해 몇 번째 날: 26, 서머타임 적용 여부: 안함

'프로그래밍 > OCaml' 카테고리의 다른 글

대화형 모드의 진법(radix) 변환 예제 with OCaml (0)	2013.01.27
황금비율(golden ratio) 구하기 with OCaml (0)	2013.01.27
80컬럼 컨솔에 19단표 출력하기 예제 for OCaml (0)	2013.01.27
(최대공약수 구하기) while 반복문 없는 예제 for OCaml (0)	2013.01.27
(최대공약수 구하기) while... 반복문 예제 for OCaml (0)	2013.01.26

Posted by Scripter

,

Script Programming(스크립트 프로그래밍)

'프로그래밍'에 해당되는 글 605건

손으로 계산하는 긴자리 곱셈표 만들기 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

문자열 거꾸로 하기 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

손으로 만드는 나눗셈 계산표 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

OCaml 언어로 큰 정수(big integer) 계산하기

'프로그래밍 > OCaml' 카테고리의 다른 글

7비트 ASCII 코드표 만들기 예제 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

OCaml 에 Extlib 설치하고 사용하는 예

'프로그래밍 > OCaml' 카테고리의 다른 글

진법(radix) 표 만들기 예제 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

대화형 모드의 진법(radix) 변환 예제 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

황금비율(golden ratio) 구하기 with OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

현재 시각 알아내기 for OCaml

'프로그래밍 > OCaml' 카테고리의 다른 글

카테고리

태그목록

최근에 올라온 글

최근에 달린 댓글

최근에 받은 트랙백

글 보관함

달력

링크

티스토리툴바