데이터와 행동을 다루는 기술: C언어부터 D언어까지 프로그래밍 패러다임 탐구

마이크 샤는 컴퓨터의 궁극적인 목표가 비트를 다루는 것이어야 한다고 강조했다. 컴퓨터는 본질적으로 비트 덩어리이며, 모든 복잡한 연산과 기능은 결국 이 비트를 조작하는 행위로 귀결된다는 설명이다. 그는 프로그래머가 이 근본적인 원리를 이해하고 비트를 직접적으로 다룰 수 있는 능력을 키워야 한다고 역설했다.

마이크 샤는 컴퓨터의 근본적인 역할이 데이터를 변환하는 것에 불과하다고 설명했다. 컴퓨터는 어떤 입력을 받아 출력을 생성하며, 이를 수학적 함수처럼 볼 수 있다는 것이다. 그는 이러한 데이터 변환 과정에서 프로그래밍이 매우 창의적인 기술로 발휘된다고 강조했다. 프로그래머는 단순한 비트 조작을 넘어, 원하는 결과를 얻기 위해 데이터를 어떻게 변환하고 구성할지 창의적으로 고민해야 한다고 덧붙였다.

마이크 샤는 튜링 머신 모델을 통해 컴퓨터의 최소한의 연산 능력을 설명했다. 튜링 머신은 데이터를 읽고, 쓰고, 점프하고, 테스트하는 아주 기본적인 수준의 기능만으로도 충분히 강력한 연산을 수행할 수 있다. 그는 비트와 바이트를 변환하는 과정이 튜링 머신의 핵심이며, 이는 현대 컴퓨터의 랜덤 접근 메모리(RAM)와 같은 효율적인 도구들 아래에서도 변치 않는 기본 원리라고 밝혔다. 조건문을 통한 비트 테스트는 튜링 완전 언어의 핵심 요소가 된다.

마이크 샤는 오늘날 C언어의 많은 기능이 1960년대에 등장한 B 프로그래밍 언어에서 파생되었다고 설명했다. B언어는 전역 변수와 지역 변수, 그리고 'auto' 키워드를 통해 스택 저장을 구현하는 등 현대 언어와 유사한 구조를 가졌다. 그는 B언어가 정수만을 다루었으며, 모든 데이터가 정수로 표현되는 방식은 기계 수준에서 모든 것이 그렇게 표현된다는 점을 고려할 때 합리적이었다고 덧붙였다. 또한, B언어의 '벡터'는 현재의 `std::vector`와는 다른 배열 개념으로 사용되었다.

마이크 샤는 B 언어가 함수 선언, 입력/출력 처리, 그리고 제어 흐름 관리를 포함하는 비교적 완전한 프로그래밍 언어였다고 설명했다. `while`, `repeat`, `goto`, `if`와 같은 제어 흐름 문법을 통해 프로그램의 실행 방식을 조작할 수 있었다. 이러한 기능들은 당시 B 언어가 다양한 작업을 수행할 수 있도록 지원하며, 현대 프로그래밍 언어의 기초를 다지는 데 기여했음을 시사한다.

마이크 샤는 C++를 활용하여 데이터를 다루는 방법을 설명하기 시작했다. 그는 이 강연의 예시 대부분이 D언어로 구성되지만, C++ 예시도 포함될 것이며, 참가자들이 어떤 고급 프로그래밍 언어든 이해한다면 내용을 따라가는 데 문제가 없을 것이라고 언급했다. B, C, D 언어를 넘나들며 데이터 처리 기법의 여정을 계속할 것이라고 예고했다.

마이크 샤는 정적 타입 언어의 제약에서 벗어나 데이터를 다른 방식으로 생각하고 다루는 방법을 제안했다. 그는 데이터의 실제 타입을 변경하거나 해석 방식을 바꾸는 것이 중요하다고 강조했다. 근본적인 데이터 자체는 동일하지만, 그것을 어떻게 해석하고 사용하는지에 따라 유연성을 확보할 수 있다는 것이다. 이는 프로그래머가 타입 시스템에 갇히지 않고 데이터의 본질적인 비트 구조를 활용할 수 있는 방법을 모색해야 함을 의미한다.

마이크 샤는 정수 타입을 개별 바이트로 재해석하여 픽셀 값을 표현하는 방법을 시연했다. 그는 형변환(casting) 기술을 사용하여 하나의 정수를 네 개의 개별 바이트(빨강, 초록, 파랑, 알파 값)로 분해하는 과정을 설명했다. 이러한 방식은 화면에 픽셀을 나타내는 한 가지 방법이며, 데이터를 다른 구성 요소로 분리하여 다룰 수 있는 유연성을 제공한다.

마이크 샤는 '비트 스위즐링'이라는 기법을 설명하며, 정수 내의 RGBA 구성 요소를 재배열하는 방법을 소개했다. 그는 데이터를 파란색, 초록색, 빨간색, 알파 값 순서로 재정렬할 수 있으며, 이는 데이터 자체는 동일하지만 표현 방식만 달라지는 것이라고 설명했다. 이러한 재배열은 비디오 디코딩 장치나 네트워크를 통해 데이터를 전송할 때 특정 형식 요구사항을 충족시키기 위해 필요할 수 있다고 덧붙였다.

마이크 샤는 비트 조작의 재미를 느낀 청중들에게 'Hacker's Delight'라는 책을 추천했다. 이 책은 다양한 비트 조작 트릭과 기법을 다루는 훌륭한 자료라고 소개하며, 더 심화된 학습을 원하는 사람들에게 유용할 것이라고 말했다.

마이크 샤는 함수를 인자로 넘겨 행동을 변경하는 '전략 패턴'을 소개했다. 이 패턴은 특정 함수에 다른 함수를 전달하여 객체의 행동을 동적으로 변경할 수 있게 한다. 그는 특히 비디오 게임과 같은 동적인 환경에서 캐릭터의 행동을 유동적으로 제어하거나, 정렬 알고리즘의 방식을 변경해야 할 때 유용하게 사용될 수 있다고 설명했다. 이를 통해 프로그램의 유연성을 크게 향상시킬 수 있다.

마이크 샤는 데이터 구조를 활용하여 게임 엔티티의 속성을 동적으로 변경하는 방법을 제시했다. 그는 게임 엔티티가 체력, 힘과 같은 기본적인 속성 외에도 다양한 행동을 가질 수 있음을 언급하며, 이러한 속성들을 확장하는 방법에 대해 질문했다. 이는 고정된 구조체 대신 유연한 데이터 구조를 사용하여 게임 객체의 다양한 특성을 런타임에 추가하거나 변경할 수 있음을 시사한다.

마이크 샤는 런타임 구조체와 동적 타입 시스템이 가져다주는 유연성에 대해 설명했다. 그는 이러한 시스템을 통해 어떤 종류의 타입이든 추가할 수 있게 되어 프로그램의 제약이 크게 줄어든다고 강조했다. 하지만 이러한 유연성에는 대가가 따르며, 필드에 접근하기 위해 데이터 구조를 탐색해야 하므로 성능 손실이 발생할 수 있다고 경고했다. 그는 이러한 방식의 성능 측면에서의 흥미로운 점은 개발자가 무엇을 하고 싶으냐에 따라 달라질 수 있다고 덧붙였다. 특정 애플리케이션에서는 유연성이 성능 손실을 감수할 만큼 중요할 수 있기 때문이다. 결국 동적 타입 시스템은 개발자에게 더 큰 자유를 주지만, 그에 따른 최적화 비용을 고려해야 한다는 점을 시사했다.

마이크 샤는 프로그램의 제약을 없애는 방법으로 모든 것을 '명령(Command)'으로 만드는 아이디어를 제시했다. 그는 객체지향 프로그래밍의 구성요소 패턴에서 영감을 받아, 프로그램에서 수행하고 싶은 모든 동작을 공통 인터페이스를 가진 명령 객체로 정의할 수 있다고 설명했다. 공격, 이동, 프로그램 종료 등 어떤 행동이든 명령으로 추상화하여, 유연하고 확장 가능한 프로그램 구조를 만들 수 있다는 것이다. 이는 프로그램의 행동을 데이터처럼 다룰 수 있게 하여, 더 높은 수준의 제어와 유연성을 가능하게 한다.

마이크 샤는 '명령 패턴(Command Pattern)'이 실행(execute) 기능뿐만 아니라 실행 취소(undo) 기능까지 구현할 수 있게 해준다고 설명했다. 그는 이 패턴이 큐에서 항목을 제거하지 않고도 과거 기록을 거슬러 올라갈 수 있게 하여, 프로그램의 행동에 대한 유연성을 제공한다고 강조했다. 또한, 명령 패턴은 일괄 처리(batch)를 고려하여 여러 명령을 다른 스레드에서 가져와 작업을 분배하는 방식에도 적용될 수 있다고 언급했다. 이는 개발자가 프로그램을 실행하는 데 있어 더 흥미로운 방법을 제공하며, 복잡한 시스템에서 유연한 제어와 관리 기능을 구현하는 데 유용하다.

마이크 샤는 임의의 명령을 채워넣을 수 있는 '바이트코드 맵'을 소개했다. 그는 이 맵을 통해 각 명령을 생성할 때마다 고유한 것이 될 수도 있고 재사용할 수도 있다고 설명했다. 예를 들어, 공격 명령과 이동 명령을 이 바이트코드 맵에 추가하여, 다양한 행동을 유연하게 관리하고 실행할 수 있음을 시사했다. 이는 프로그램의 동적 행동을 구성하는 데 강력한 도구가 될 수 있다.

마이크 샤는 앞서 설명한 명령들을 활용하여 '작은 가상 머신' 또는 '바이트코드 패턴'을 구축할 수 있다고 밝혔다. 그는 이것이 프로그램의 전체 구조가 될 수 있으며, 특정 행동에 묶어놓은 데이터에 불과하다고 설명했다. 하지만 이러한 방식을 통해 개발자는 어떤 것이든 할 수 있고, 행동을 자유롭게 재정의할 수 있는 유연성을 확보하게 된다고 강조했다. 이는 프로그램의 핵심 로직을 데이터 기반으로 전환하여 더 높은 수준의 추상화와 제어를 가능하게 한다.

마이크 샤는 타입 시스템을 제거한 유연한 언어의 장단점을 논하며, 이는 결국 많은 숫자와 명령만 있는 초기 상태와 비슷해 보일 수 있다고 설명했다. 그는 이러한 언어가 완전히 제약이 없어 어떤 명령이든 정의하고 데이터를 자유롭게 다룰 수 있다는 점을 장점으로 꼽았다. 그러나 타입 시스템의 부재는 좋거나 나쁠 수 있으며, 이에 따른 약간의 장단점이 존재한다고 덧붙였다. 이는 유연성 확보와 동시에 발생할 수 있는 잠재적인 오류나 디버깅의 어려움을 시사한다.