뭔가 있어보이고 싶어하는 된장 프로그래머 여러분의 탁월한 선택, Objective Caml. 어딜가나 언어 공부의 시작은 Hello world가 딱이다.
(* (C) 2010 천재 호빵님 *)
let main = print_endline "Hello world!"
It's simple. Kill the Batman.
매우 단순한 코드지만 여기에는 ocaml에 대한 상당히 많은 정보가 담겨 있다.
우선 첫 줄.
(* (C) 2010 천재 호빵님 *)
뭐, 굳이 설명하지 않아도 프로그래머라면 누구나 보는 순간 안다. 주석이다. ocaml의 주석은 (* 로 시작하고 *)로 닫으며, C/C++의 한줄 주석은 없다. 주석에 잡다한 설명을 붙일 필요야 없겠지.
그 다음.
let main = print_endline "Hello world!"
print_endline이야 이름 보면 뭔지 바로 짐작 가는 녀석이니 넘어가자. let은 함수를 정의할 때 쓰는 예약어다. let ... in 이라는 예약어도 있지만 여기서 안 나오니까 넘어가자.
그런데, 저 main이 C에 있는 그 main일 것 같은가? 아니다. ocaml에는 그런 특별대우받는 함수 이름 따윈 없다. 저건 그냥 내 마음대로 붙인 이름일 뿐이고, 함수 이름은 뭘 붙여도 상관 없다. 예를 들면 이런 것도 된다.
let _ = print_endline "Hello world!"
저 '_' 는 함수형 언어에서는 대개 뭔가의 의미를 가지고 있는데, 뭔가 라는 단어가 다른 것을 가리키는 게 아니다. 뭔가(something) 그 자체다. 오늘은 이 쪽은 그냥 넘어가고. 아무튼 함수 이름은 뭐가 됐건 관계없다. main이라고 써서 일부려 헷갈려 보이게 만든 거니까 신경쓰지 말자.
C에선 이런 소스코드를 짜면 hello는 저 하늘 멀리로 증발해버린다. hello를 직접 불러주지 않는 이상 hello world!가 출력될 일은 없다. 그러나...
let imnotmain = print_endline "hello world!"
let main = print_endline "goodbye world!"
결과:
hello world! goodbye world!
ocaml은 그런거 없다. 말했잖나. main은 훼이크라고.
그런데 반드시 이렇다는 건 아니다.
(* Objective Caml Hello World *)
let imnotmain x = print_endline "hello world!"
let main x = print_endline "goodbye world!"
컴파일시키면 결과는? 아무 것도 안 나온다. 어디서 차이가 난 걸까?
답은 x다. 잘 보면 함수 imnotmain과 main에 인자로 x가 붙어 있는데, ocaml은 인자가 있는 함수와 없는 함수를 다르게 취급한다. 함수형 언어의 특성상 인자가 없다면 반환값도 반드시 같을 수밖에 없기 때문이다. 굳이 비교하자면 하나는 함수고, 하나는 프로시저(함수는 입력과 출력이 기본이지만, 프로시저는 정해진 절차대로 작업을 진행한다는 의미가 강하다)다. 저기서 둘 중 하나의 x를 빼버리면 그 녀석은 제대로 출력을 한다.
그러니까, 위 삽질을 요약정리해 보면, ocaml 소스코드를 컴파일하면 그 안에 있는 인자 없는 함수만 순서대로 실행하는 코드가 나온다는 결론이 된다. 정확한지는 모르겠지만, 일단 눈에 보이는 결론은 그렇다.
여기까지 대충 Hello world 예제를 읽어봤는데(...) 원래 함수형 언어는 이런 거 하라고 만든 언어가 아니다. 나중에 시간 되면 ocaml 삽질 시리즈물이라도 나올 지 모르고... 뭐 그건 그때가서 생각하자.
안녕하세요^^ 게임회사에서 배경그래픽 디자인 하고 있는 지구인
입니다. 다름이 아니옵고 게임회사의 텍스쳐를 살펴보고자 얼마전
부터 .pak 파일 분해 방법을 서핑 하던중 이 곳이 종착역이 될 거
같아 무례하게도 이렇게 글을 남깁니다^^
링크해주신 파일 설치 후 다음 단계를 어떻게 해야 하는지 도저히
모르겠어 여쭙고자 합니다.
감사드리고요 답변 ! 꼭 부탁드립니다
(* readfile.ml
* 텍스트 파일을 통째로 읽어 내용을 출력해 주는 프로그램.
* http://camltastic.blogspot.com/2008/09/tip-read-all-lines-from-file-most.html
* 의 코드를 많이 참고했음.
* ocamlc -o readfile(.exe) readfile.ml *)
(* 함수의 이름은 뭐라도 상관없다. OCaml에는 main함수 같은 개념은 없다. *)
let _ =
(* 이것들은 관점에 따라 함수라고 봐도 좋고 변수라고 봐도 좋다.
* 하지만 근본 개념은 함수다. *)
let filename = "readfile.ml" in
let channel = open_in filename in
(* 이 놈은 함수가 아니다. 'ref' 지시어는 변할 수 있는(mutable) 객체를 만든다.
* [] - 빈 리스트 같은 OCaml 기본 문법은
* http://merd.sourceforge.net/pixel/language-study/syntax-across-languages-per-language/OCaml.html
* 를 읽어볼 것. *)
let lines = ref [] in
try
(* input_line 함수는 파일의 끝을 만나면 End_of_file 예외를
* 발생시킨다. *)
while true; do
(* OCaml의 리스트는 앞에서 붙이기(C++ 식으로 말하자면
* push_front())밖에 안 된다. 물론, 기본으로 제공되는
* 것이 그렇다는 얘기. 원한다면 스스로 push_back을
* 구현해도 문제될 것 없다. *)
lines := (input_line channel) :: !lines
done;
(* 예외처리. OCaml의 예외는 C++보다는 조금 그 심각함(?)이 덜하다. *)
with End_of_file ->
(* 파일 닫기 *)
close_in channel;
(* 리스트의 크기 - 이 경우에는 텍스트파일의 줄 수를 출력함. *)
Printf.printf "length of lines = %d\n" (List.length !lines);
(* 아까 리스트를 역순으로 붙여나갔기 때문에, 원래 순서대로
* 작업하려면 List.rev 함수를 이용해서 뒤집어줘야 한다 *)
List.iter (Printf.printf "%s\n") (List.rev !lines)
대충 풀어서 쓰자면 입력을 요구하되, 기다리지는 않는다는 뜻이다. 무슨 소린가 하면, C로 프로그래밍을 조금이라도 해본 사람은 알 것이다. gets 같은 함수로 입력받기를 기다린다고 하자. 그럼 이 gets는 실제로 입력이 들어올 때까지 끝나지 않는다.
gets(first);
printf("첫 번째 입력이 들어왔습니다. ?\n");
gets(second);
first 입력을 완료하기 전까지 2번 줄의 printf는 결코 실행되지 않으며, 따라서 second 입력도 받을 수 없다. gets는 사용자가 입력을 완료할 때까지 끝나지 않는 것이다. 이것이 Blocking 입력이다.
반대로 Nonblocking은, 입력이 들어왔는지 조사는 하지만 입력이 있건 없건 진행된다. 넌블럭킹 입력 같은 경우는 프로그래밍 초보자가 다룰 주제가 아니기 때문에 교양 수준으로 배운 사람들이라면 생전 처음 듣는 소리일 것이다. 넌블럭킹 입력의 쓰임을 가상코드로 표현해보면 대충 이렇다.
// 입력이 있든 없든 이 함수는 결과값을 즉시 반환한다(고 치자)
input = check_if_input_exists(stdin);
if(input == true) printf("요태카지 날 미앵한고야?\n");
else /* input == false */ printf("논 자유에 모미 아냐 요태카지 그래와코 아페로도 개속\n");
즉 넌블럭킹 입력은 (지나치게 단순화한 것이긴 하지만) 입력이 반드시 있다고 가정하는 것이 아니라, 입력이 있을 수도 없을 수도 있는 경우에 쓸 수 있는 놈이다. 혹은 입력이 언젠가는 있겠지만, 그거 무한정 기다리고 있을 만큼 한가하지 않다면, 언젠가 들어올 입력을 기다리는 동안 다른 일을 하고 있어야 마땅하다.
넌블럭킹과 블럭킹의 차이를 이해하기 가장 쉬운 예가 게임이다. 턴제 전략게임 - 중에 가장 유명한 - 바둑을 두고 있다고 치자. 바둑은 블럭킹의 예를 들기에 가장 적합한 케이스다. 내가 돌을 두기 전까지는 결코 상대방 차례가 오지 않기 때문이다(물론 시간제한 없는 룰일 경우다). 반대로 내 차례라는 것이 애당초 없는 스타크래프트는 넌블럭킹의 예를 들기에 (사실 조금은 부적합하지만) 좋다.
아무튼 잡설은 그만하고..
그런데 블럭킹 입력과 달리 넌블럭킹 입력은 운영체제에 몹시 의존적이다. 코드 하나 짜 놓고 이리저리 돌려쓰기를 좋아하는 나 같은 사람에게는 몹시도 슬픈 얘기다.
그러니까 안짜도 될 코드 짜서 짜증이 났다 그 소리다.
/**
윈도우즈에서 Nonblocking 입력을 몹시 하고 싶어서 만들었다.
@author hoppang at gmail dot com
@date 2010-01-27
@version 9999
@a http://hoppang.net
*/
#include<cstdio>
#include<windows.h>
int main()
{
int count = 0;
DWORD result, how_many_read;
INPUT_RECORD input;
HANDLE stdin_handle;
// stdin의 윈도우식 핸들을 구한다.
stdin_handle = GetStdHandle(STD_INPUT_HANDLE);
// 각
bool shift_state = false, alt_state = false, ctrl_state = false;
// 자 루프를 돌자
for(;;){
/*
WaitForSingleObject는 키보드 입력에만 쓰이는 놈은 아니다.
자세한 것은 MSDN을 찾아보고.. 아무튼 여기서는 유닉스의 select를
대체할 수 있다.
두 번째 인자(시간)가 0일 경우 입력 버퍼에 아무것도 없어도
입력을 기다리지 않고 즉시 리턴한다. (non-blocking)
*/
result = WaitForSingleObject(stdin_handle, 0);
/*
들어온 입력이 있을 경우 WAIT_OBJECT_0이 반환된다.
인터넷에서 어쩌다 본 문서에는 '모든 종류의' 이벤트를 감지할 수 있다고 했으나,
실제 돌려본 바 그렇지는 않은 듯함. 키보드 입력만 받는다.
*/
if(result == WAIT_OBJECT_0) {
/* 입력 버퍼에서 입력을 읽어들인다.
param 1 [in] 이름 보면 모르나
param 2 [out] 받아들인 입력 정보가 저장될 구조체
param 3 [in] 인자 2에 넘겨진 구조체가 몇 개인가.
param 4 [out] 읽어들인 입력 정보가 총 몇 개인가. 문제가 없다면 인자 3과 같다.
*/
ReadConsoleInput(stdin_handle, &input, 1, &how_many_read);
/*
조금 귀찮은 부분이다.
*/
switch(input.Event.KeyEvent.wVirtualKeyCode) {
case VK_ESCAPE:
return 1;
case VK_SHIFT:
shift_state = input.Event.KeyEvent.bKeyDown;
break;
case VK_MENU: // alt
alt_state = input.Event.KeyEvent.bKeyDown;
break;
case VK_CONTROL:
ctrl_state = input.Event.KeyEvent.bKeyDown;
break;
default:
if(input.Event.KeyEvent.bKeyDown == TRUE) {
printf("\ninput %x %s%s%s, how_many_read = %x\n",
input.Event.KeyEvent.wVirtualKeyCode,
shift_state ? "[shift]" : "",
alt_state ? "[alt]" : "",
ctrl_state ? "[ctrl]" : "", how_many_read);
}
}
}
// 입력이 없을 경우. 사실 이건 없어도 상관없는데
// 프로그램이 멎어 있지 않다는 것을 보여주려고 집어넣었다.
else printf("\r%10d", count++);
}
return 0;
}
class Arm_vm
{
// 이상 생략
std::map<uint32_t, std::tr1::function<uint32_t, (Arm_vm*, bool, uint32_t)> handler;
// 이하 생략
};
Arm_vm::Arm_vm()
{
// 기타 생략
handler[1] = &Arm_vm::handler_1;
handler[2] = &Arm_vm::handler_2;
handler[3] = &Arm_vm::handler_3;
handler[4] = &Arm_vm::handler_4;
// 또 이하 생략
}
// 호출할 때
uint32_t ret = handler[3](this, true, 0x1000);
// handler가 불리는 위치가 클래스 내가 아니라면 this를 적당히 바꿔줘야겠지
댓글을 달아 주세요