컴퓨팅의 세계를 거대하고 북적이는 도시라고 상상해 보십시오. 수십 년 동안 이 도시의 설계자들은 개별 건물을 설계하는 데 집중했습니다. 완벽한 집(단일 프로그램)이나 이상적인 공장(단일 알고리즘)을 만드는 일 말입니다. 그들은 하나의 방이 어떻게 작동하는지, 혹은 하나의 기계가 단일 작업을 어떻게 처리하는지에 대한 청사진을 가지고 있었습니다. 하지만 도시가 성장함에 따라, 진정한 마법과 진정한 혼돈은 건물 사이의 연결 관계에서 발생한다는 사실이 분명해졌습니다. 발전소는 어떻게 지하철과 대화할까요? 병원은 어떻게 교통 신호등과 협력할까요? 이것이 바로 '고수준 컴퓨팅(high-level computation)'의 영역입니다. 여기서 목표는 단순히 단일 장치를 만드는 것이 아니라, 복잡한 문제를 해결하기 위해 전체 집합체가 어떻게 상호작용하는지를 이해하는 것입니다.

이를 관리하기 위해 과학자들은 도로와 교량에 대한 표준 기호 세트를 사용하는 도시 계획가처럼, 이러한 상호작용을 위한 보편적인 언어를 만들기 위해 노력해 왔습니다. 그러나 이러한 언어들 대부분에는 사각지대가 있습니다. 그들은 데이터(배달되는 패키지)를 추적하는 데는 뛰어나지만, 제어(트럭이 언제 움직여야 하는지 알려주는 교통 신호)를 추적하는 데는 서툽니다. 어떤 언어들은 데이터가 제어를 자연스럽게 따르는 것으로 가정하고, 어떤 언어들은 교통 신호를 완전히 무시하기도 합니다. 이로 인해 두 개의 복잡한 시스템을 연결했을 때 어떤 일이 벌어질지 예측하기가 매우 어렵습니다. 트럭이 결코 오지 않을 신호를 기다리며 정체되는 교통 체증이 발생하거나, 두 개의 신호가 동시에 하나의 트럭을 지시하여 충돌이 발생하는 상황이 생길 수 있습니다. 큰 질문은 이것입니다. "제어(교통 신호)"와 "데이터(패키지)"를 별개이면서도 연결된 것으로 취급하는 시스템을 구축하여, 혼란 없이 복합적인 시스템을 만들 수 있을까요?

데미안 아렐라네스(Damian Arellanes)의 논문 "콜리밋 기반의 고수준 컴퓨팅 장치 구성(Colimit-Based Composition of High-Level Computing Devices)"은 이 복잡한 교차점으로 뛰어들어, 이러한 디지털 도시를 구축하는 더 깨끗한 방법을 제시합니다. 저자는 '컴퓨톤(computon)'이라 불리는 모델의 정교화된 버전을 소개합니다. 컴퓨톤을 모듈형 레고 블록이라고 생각하십시오. 다만 이 블록들은 단순히 모양에 따라 끼워 맞춰지는 것이 아니라, 누가 누구와 언제 대화하는지에 대한 엄격한 규칙에 따라 결합됩니다. 이 논문의 주요 발견은 '콜리밋(colimit, 수학적으로 매우 정밀하게 결합하는 방법)'이라는 특정 수학적 도구를 사용함으로써, 제어 신호와 데이터를 별도의 차선에 두면서도 완벽하게 함께 작동하는 시스템을 만들 수 있다는 것입니다.

이 논문은 기존의 특정 모델들, 특히 상태 중심 및 데이터 중심 모델들이 제어 흐름을 간과하고 있다는 점을 명시적으로 비판하며, 이는 일반적인 유연한 형식주의 자체를 거부하는 것이 아닙니다. 저자는 데이터와 제어를 동일한 프레임워크 내에 혼합하는 것이 비효율적인 분석 방법으로 이어진다고 주장합니다. 대신, 저자는 "교통 신호"와 "화물"을 분리함으로써, **부분적 타입 수준 보장(partial type-level guarantees)**과 **구조적 구성에 의한 정당성(structural correctness by construction)**을 갖춘 복잡한 기계를 구축할 수 있다고 제안합니다. 이는 시스템이 설계 단계에서부터 규칙을 따른다면 결과물이 올바를 것임을 보장하도록 설계되었다는 의미이지만, 모든 가능한 런타임 동작을 절대적으로 증명한다고 주장하는 것은 아닙니다. 저자는 단순히 이것이 좋은 아이디어라고 제안하는 데 그치지 않고, 실제로 작동하는 프로토타입을 구축했습니다. 저자들은 이 이론 전체를 'Idris 2'라는 프로그래밍 언어로 구현하여, 사람들이 이러한 복잡한 컴퓨팅 장치를 구축할 수 있게 해주는 실제 오픈 소스 도구를 만들어냈습니다. 그들은 이 도구가 순차적 단계(하나 다음에 다른 하나를 수행), 병렬 단계(두 가지를 동시에 수행), 그리고 분기(다른 경로 중 하나를 선택)를 모두 처리하면서도 제어 흐름을 명시적이고 오류 없이 유지할 수 있음을 보여주었습니다.

이것이 어떻게 작동하는지 이해하기 위해, 여러분이 거대한 자동 샌드위치 가게를 짓고 있다고 상상해 보십시오. 기존 모델에서는 "빵을 테이블 위에 놓는다"라는 지침과 "햄을 집는다"라는 지침이 소스 레시피와 함께 같은 종이에 적혀 있었습니다. 만약 서로 다른 두 개의 샌드위치 가게를 결합하려고 한다면, 지침이 뒤섞여서 햄이 바닥에 떨어지거나 빵이 토스터기에 들어가는 상황이 발생할 수 있습니다.

논문에서 설명하는 새로운 "컴퓨톤" 모델에서는 지침이 두 개의 뚜렷한 시스템으로 나뉩니다. 여러분은 **제어 시스템(Control System, 교통 신호)**과 **데이터 시스템(Data System, 재료)**을 갖게 됩니다.

• 제어 시스템은 교통 신호등과 무전기와 같습니다. 이것은 햄이나 치즈를 운반하지 않습니다. 단지 "가라"는 신호만을 전달합니다. "좋아, 빵이 준비되었으니, 이제 햄을 보내라!" 또는 "멈춰! 상추가 올 때까지 기다려!"라고 말하는 식입니다.
• 데이터 시스템은 실제 재료를 실어 나르는 컨베이어 벨트입니다. 이 벨트는 제어 시스템이 초록불을 줄 때만 움직입니다.

논문은 이 시스템들을 서로 맞물리게 하는 특별한 "풀(수학적으로 콜리밋이라 불리는)"을 소개합니다.

• 순차 구성(Sequencing): 첫 번째 기계가 끝날 때까지 두 번째 기계가 기다리도록 두 기계를 연결할 수 있습니다. 이는 마치 바톤(제어 신호)이 다음 주자에게 전달되어야만 다음 주자가 출발할 수 있는 계주와 같습니다.
• 병렬화(Parallelizing): 두 기계를 나란히 배치할 수 있습니다. 두 기계는 동시에 시작하지만, 각자 별도의 교통 신호를 가집니다. 제어 신호가 서로 분리되어 있기 때문에 서로 충돌하지 않습니다.
• 분기(Branching): 이것이 가장 흥축적인 부분입니다. 길의 갈림길에서 교통 신호가 재료를 "햄 샌드위치" 스테이션으로 보낼지, 아니면 "치즈 샌드위치" 스테이션으로 보낼지 결정하는 상황을 상상해 보십시오. 논문은 이전보다 더 유연한 방식의 갈림길을 구축하는 법을 소개하는데, 이를 통해 출구가 완벽하게 일치하지 않아도 되는 '열린(open)' 선택이나, 모든 것이 꽉 짜인 '닫힌(closed)' 선택을 모두 다룰 수 있습니다.

저자들은 단순히 화이트보드에 아이디어를 그리는 데 그치지 않고, 실제 디지털 작업실을 만들었습니다. 그들은 Idris 2라는 언어를 사용하여 안전 검사관 역할을 하는 컴퓨터 프로그램을 작성했습니다. 만약 여러분이 규칙을 어기는 방식으로(예: 교통 신호를 존재하지 않는 컨베이어 벨트에 연결하려는 경우) 두 개의 컴퓨톤을 연결하려고 하면, 프로그램이 즉시 여러분을 제지합니다. 이는 마치 레고 세트에서 부품이 디자인에 맞지 않으면 물리적으로 결합할 수 없는 것과 같습니다.

또한, 이 논문은 원래 이론의 몇 가지 결함을 수정했습니다. 예를 들어, 동시에 무언가를 일어나게 하기 위해(동기적 병렬화) 반드시 특별하고 복잡한 기계가 필요한 것은 아니라는 점을 보여주었습니다. "대기" 신호와 "진행" 신호를 단순히 연결함으로써 이러한 동작을 구현할 수 있습니다. 또한, 아무것도 하지 않는 기계(unit computon)가 존재함을 증证明했는데, 이 기계는 완벽한 중립 파트너 역할을 합니다. 즉, 이 기계를 자신의 기계에 결합해도 원래의 기계가 변하지 않는데, 이는 작은 부분들로부터 복잡한 시스템을 구축하는 데 있어 매우 중요한 속성입니다.

결국, 이 논문은 미래의 컴퓨팅을 구축하기 위한 도구 상자를 제공합니다. 이는 작은 검증된 블록들을 조립함으로써 자율주행 자동차 네트워크나 글로벌 의료 데이터베이스와 같은 거대하고 상호작용하는 시스템을 구축하는 방법을 제시합니다. 제어 흐름이 명시적이고 데이터와 분리되어 있기 때문에, 우리는 이러한 시스템이 충돌하거나 혼란에 빠지지 않을 것이라고 훨씬 더 확신할 수 있습니다. 저자들은 개발자들이 디지털 라이브러리에서 미리 만들어진 인증된 "컴퓨톤"을 골라 조립하여 새로운 애플리케이션을 만들 수 있고, 도시가 아무리 커지더라도 교통 신호가 항상 올바르게 작동할 것임을 알 수 있는 미래를 구상하고 있습니다. 이는 복잡한 시스템이 제대로 작동하기를 '희망'하는 단계에서, 수학적으로 '보장'하는 단계로 나아가는 것입니다.