40년 된 언어 Scheme, R7RS Large 절차형 명세 초안이 공개됐어요

Scheme이 아직도 살아 있다고?

프로그래밍 언어 역사 수업에서 한 번쯤 들어봤을 이름, Scheme. 1975년에 MIT에서 탄생한 Lisp 계열 언어인데요. "괄호 많은 그 언어"로 기억하는 분도 많을 거예요. 그런데 이 언어가 아직도 표준 위원회가 굴러가고 있고, 새로운 명세 초안이 계속 나오고 있다는 사실을 아시나요? 최근에 R7RS Large(Revised^7 Report on Scheme, Large Edition) 의 Procedural Fascicle(절차형 분책) 초안이 공식적으로 공개됐습니다.

이게 무슨 말이냐면, Scheme 표준은 R5RS, R6RS, R7RS 같이 "몇 번째 개정판이냐"로 버전을 매기는데요. R7RS는 두 갈래로 나뉘어 있어요. 하나는 R7RS Small 로 핵심 언어만 담은 가벼운 명세이고, 다른 하나는 R7RS Large 로 실무에서 쓸 수 있을 만큼 라이브러리와 기능을 풍부하게 담은 큰 명세예요. Large는 한 번에 통째로 내는 게 아니라 주제별로 fascicle(분책) 단위로 나눠서 점진적으로 발표하고 있는데, 이번에 공개된 게 바로 "절차형 프로그래밍" 관련 분책의 초안인 거죠.

절차형 분책에 뭐가 들어 있는가

Lisp 계열 언어라고 하면 보통 함수형 패러다임을 떠올리는데, 사실 Scheme은 처음부터 멀티 패러다임 언어였어요. 이번 절차형 분책에는 "명령형 스타일로 프로그램을 짤 때 필요한 라이브러리"가 정리되어 있습니다. 구체적으로는 변경 가능한(mutable) 자료구조, 반복 구문, 예외 처리, 상태 관리 같은 것들이에요.

예를 들면 Scheme에서 전통적으로 논쟁이 많았던 set!(값을 바꾸는 연산), do 루프, when/unless 같은 조건문, 그리고 해시 테이블이나 벡터 같은 가변 자료구조에 대한 표준화된 API가 정리되어 있어요. 또 delimited continuations(구간 제한 연속) 같은 고급 제어 흐름 도구도 다뤄지는데, 이건 쉽게 말하면 "프로그램의 현재 실행 지점을 값으로 잡아두었다가 나중에 다시 돌아갈 수 있게 하는 기능"이에요. async/await 같은 비동기 패턴이나 코루틴을 언어 수준에서 구현할 때 기반이 되는 강력한 메커니즘이죠.

흥미로운 점은, 이런 기능들이 이미 Racket, Chez Scheme, Guile, Chicken Scheme 같은 여러 구현체에서 각자 다른 방식으로 제공되고 있었다는 거예요. R7RS Large는 그걸 "공식 표준은 이걸로 정합시다"라고 모으는 작업입니다.

왜 지금도 Scheme이 의미가 있나

솔직히 말해서 Scheme으로 프로덕션 코드를 짜는 회사는 많지 않아요. 하지만 Scheme이 만든 아이디어들은 우리가 매일 쓰는 언어 곳곳에 스며들어 있습니다. JavaScript의 클로저, Python의 람다와 데코레이터, Rust의 매크로 위생(macro hygiene), Kotlin의 꼬리 재귀 최적화, 심지어 React의 함수형 컴포넌트 사고방식까지, 거슬러 올라가면 Lisp/Scheme의 영향이 보여요.

그리고 Scheme은 여전히 "언어 설계의 실험실" 역할을 하고 있어요. 새로운 패러다임이나 메타프로그래밍 아이디어가 가장 먼저 깔끔하게 구현되는 곳이 보통 Scheme 계열이거든요. 최근에 떠오르는 Racket 은 "언어를 만들기 위한 언어"라는 컨셉으로 DSL(도메인 특화 언어) 개발에 강점을 보이고 있고, Gerbil Scheme 같은 건 시스템 프로그래밍에도 쓰여요.

다른 언어 표준화와 비교해보면

C++는 3년 주기로 ISO 표준을 내고, JavaScript는 매년 ECMAScript 신버전을 찍어내죠. Python도 PEP 절차를 통해 빠르게 굴러갑니다. 그에 비하면 Scheme의 표준화는 정말 느려요. R7RS Small이 나온 게 2013년이고, Large는 10년 넘게 분책 단위로 천천히 진행 중이에요. 이게 단점처럼 보이지만, 반대로 "수십 년이 지나도 호환되는 명세를 만들겠다"는 신중함의 표현이기도 합니다.

한국 개발자에게 주는 시사점

실무에서 Scheme을 쓸 일은 거의 없겠지만, 언어 설계와 컴파일러 이론에 관심이 있다면 R7RS Large 분책들은 정말 좋은 학습 자료예요. 표준 위원회가 "왜 이 API를 이렇게 디자인했는지"에 대한 토론 기록까지 같이 공개되거든요. 또 매크로 시스템이나 continuation에 관심이 있다면, 다른 어떤 언어보다 Scheme 명세가 가장 깔끔하게 정리해두고 있어요. 사이드 프로젝트로 자기만의 작은 언어를 만들어보고 싶은 분에게도 추천할 만합니다.