C로 컴파일되는 스킴, Chicken 6.0 릴리스 — 유니코드가 드디어 기본이 됐어요

리스프(Lisp) 계열의 함수형 언어 스킴(Scheme), 들어보셨나요? MIT의 전설적인 교재 SICP(컴퓨터 프로그램의 구조와 해석)에 쓰인 언어로 유명한데요. 그 스킴의 대표적인 구현체 중 하나인 Chicken Scheme이 6.0 메이저 버전을 내놨어요. 5.0 이후 오랜만의 큰 릴리스라서, 스킴 커뮤니티에서는 꽤 의미 있는 이정표거든요.

Chicken Scheme이 뭐냐면

먼저 Chicken이 어떤 물건인지부터 짚고 갈게요. 스킴은 표준 문서(R7RS 같은 것)만 있고 구현체는 여러 개인 언어예요. 파이썬으로 치면 CPython과 PyPy가 따로 있는 것과 비슷하죠. 그중 Chicken의 특징은 스킴 코드를 C 코드로 컴파일한다는 거예요. 그래서 결과물이 평범한 네이티브 실행 파일이 되고, C 라이브러리를 붙이기도 쉬워요. 인터프리터도 함께 제공돼서 개발할 땐 대화형으로 실험하다가, 배포할 땐 컴파일하면 되고요.

여기서 재미있는 게 컴파일 방식이에요. "Cheney on the MTA"라는 유명한 기법을 쓰는데, 이게 뭐냐면 C 함수가 절대 return을 하지 않는 방식이에요. 함수가 끝나면 리턴하는 대신 다음 함수를 계속 호출만 해요. 그러면 C 스택이 계속 쌓이겠죠? 스택이 일정량 차면 그 안에서 아직 살아있는 데이터만 힙으로 복사하고, 스택 포인터를 통째로 처음으로 되돌려 버려요. C 스택을 가비지 컬렉터의 젊은 세대 영역처럼 쓰는 거죠. 이 덕분에 스킴의 강력한 기능인 일급 컨티뉴에이션(실행 흐름 자체를 값으로 저장했다가 나중에 재개하는 기능)을 C 위에서 저렴하게 구현할 수 있어요.

6.0에서 뭐가 달라졌나

이번 릴리스의 가장 큰 변화는 문자열의 전면 유니코드 지원이에요. 기존 Chicken의 문자열은 사실상 바이트 덩어리에 가까워서, 한글 같은 멀티바이트 문자를 제대로 다루려면 별도 확장을 깔아야 했거든요. 6.0부터는 UTF-8 기반 유니코드 처리가 기본이 됐어요. 한글 문자열의 길이를 재거나 자르는 작업이 이제 그냥 돼요. 우리 입장에선 체감이 큰 변화죠.

또 하나 중요한 건 R7RS 표준 지원이 코어에 들어왔다는 점이에요. 예전에는 최신 표준 문법을 쓰려면 확장 패키지를 설치해야 했는데, 이제 기본 배포판만으로 표준 라이브러리 시스템을 쓸 수 있게 정리됐어요. 이 외에도 모듈 시스템 정비, 낡은 인터페이스 제거 같은 청소 작업이 대거 이뤄졌고요. 메이저 버전이 올라간 만큼 기존 5.x용 코드와 확장 패키지(Chicken에서는 "egg"라고 불러요)는 손질이 필요할 수 있어요.

다른 스킴들과 비교하면

스킴 구현체 생태계는 은근히 다양해요. 교육과 언어 실험 쪽에서는 배터리가 풍부한 Racket이 사실상 표준이고, GNU 프로젝트의 확장 언어로는 Guile이 쓰여요. 패키지 관리자 Guix가 Guile로 작성됐죠. 고성능 컴파일 쪽에는 Gambit이 있고요. 그 사이에서 Chicken의 포지션은 "가볍고, C와 친하고, 실용적인 스킴"이에요. 작은 CLI 도구나 시스템 유틸리티를 스킴으로 짜서 단일 바이너리로 배포하고 싶을 때 특히 매력적이죠.

한국 개발자에게는

솔직히 스킴을 실무 주력으로 쓸 일은 많지 않을 거예요. 하지만 배워둘 가치는 충분하다고 생각해요. 괄호 문법에 익숙해지면 코드가 곧 데이터라는 리스프의 관점, 재귀와 고차 함수 중심의 사고방식이 몸에 배는데, 이게 요즘 주력 언어들(자바스크립트, 코틀린, 러스트)의 함수형 기능을 이해하는 데 직접적으로 도움이 되거든요. SICP를 공부해볼 계획이 있다면, 가볍게 설치되는 Chicken은 좋은 실습 환경이기도 하고요. 이번 유니코드 지원 덕분에 한글 데이터를 다루는 실습도 부담이 없어졌어요.

정리하면, Chicken 6.0은 "유니코드 시대에 드디어 합류한, C로 컴파일되는 실용주의 스킴"이에요. 여러분은 리스프 계열 언어를 써본 경험이 있으세요? 괄호의 바다를 건너본 소감이 궁금하네요.