The Art of Programming.

요즘 프로그래밍을 예술의 경지로 끌어올리기 위해 부단히 노력하고
있습니다. "Is it possible to write bug-free code?"라는 질문을 스스로
던지고 이 문제를 해결하기 위해 여러가지 최신의 소프트웨어 공학적
방법(TDD, UP 등)들을 적용하고 있습니다.

그러다 문득 들은 생각...

과연 내가 개발하는 코드가 내가 만든 것이 맞는가. 혹시 원래 이 우주에
태초부터 존재하던 코드를 다시 쓰는 것에 지나지 않는 것은 아닌가.

모든 프로그램은 CPU에 의해 실행되려면 결국 0과 1로 구성된 machine code
로 바뀌어야 합니다. 어떠한 high-level language로 개발하였더라도 결국은
binary machine code로 바뀌어야 된다는 겁니다. 따라서 모든 코드는 0과 1로
이루어져 있습니다.

0과 1을 concatenation하여 만든 문자열의 무한 집합을 U라고 하면, 다음과
같이 표기할 수 있을 겁니다.

U = {ε, 0, 1, 00, 01, 10, 11, 000, 001, ...}
(입실론은 길이가 0인 스트링을 의미)

결국 모든 코드라는 건 이 U라는 무한집합에 포함된 원소일 겁니다.

그렇다면 이 U라는 집합은 우주의 탄생과 동시에 이미 수학적으로 존재하던
집합이고, 내가 하고 있는 일은 단지 이 집합 중에서 필요로 하는 코드를
다시 써내려가는 것 뿐입니다. 물론 high-level language과 컴파일러의
도움을 받아서 말이죠.

미켈란젤로가 다비드상을 만들고서 이런 얘기를 했다고 합니다.
"다비드 상이라는 것은 애초에 저 대리석 속에 존재했었다. 내가 한 일이라곤
불필요한 돌들을 치워 다비드상이 겉으로 나올 수 있게 한 것 뿐이다."

제가 만들고 있는 수많은 코드가 정말 제가 만든 게 맞는 걸까요? 아니면
이미 이 대우주의 질서 속에 내재되어 있던 코드를 다시 써내려간 것
뿐일까요?

--
TRUST NO ONE. EVERYTHING YOU KNOW IS WRONG.