Hacker News 2026.05.29 42

Lisp 위에 Haskell의 타입 시스템을 얹다 — 정적 타입 Lisp, Coalton

Lisp인데 타입이 있다고요?

Lisp 하면 보통 ‘괄호 많은 동적 타입 언어’를 떠올리잖아요. 유연하고 강력하지만, 타입을 컴파일 시점에 잡아주지 않아서 큰 프로그램에선 실수가 런타임에야 터지곤 하죠. 그런데 Coalton이라는 프로젝트는 여기에 정반대 성격의 무기를 얹었어요. Common Lisp 위에서 돌아가는, 정적 타입을 갖춘 언어거든요. 그것도 Haskell과 OCaml의 좋은 아이디어를 가져와서요.

Coalton이 특별한 이유

보통 동적 언어에 타입을 붙이는 시도들(TypeScript가 JavaScript에 한 것처럼)은 기존 언어 위에 ‘점진적으로’ 타입을 덧대는 방식이에요. 그래서 타입이 느슨하고, 우회할 구멍도 많죠. Coalton은 접근이 좀 달라요. 아예 제대로 된 타입 시스템을 가진 별도 언어를 Common Lisp 안에 심어 넣은(embedded) 형태예요. 그러면서도 컴파일하면 결국 Common Lisp 코드가 되기 때문에, 기존 Lisp 코드와 같은 환경에서 자연스럽게 섞어 쓸 수 있어요.

핵심 기능 몇 개만 쉽게 풀어볼게요.

힌들리-밀너 타입 추론(Hindley-Milner type inference)이 뭐냐면, 컴파일러가 똑똑해서 여러분이 타입을 일일이 안 적어도 알아서 추론해주는 기술이에요. x + 1이라고 쓰면 “아 x는 숫자겠구나” 하고 알아채는 식이죠. 타입의 안전함은 챙기면서 코드는 동적 언어처럼 깔끔하게 유지할 수 있어요.

타입클래스(typeclass)는 Haskell에서 온 개념인데, 자바의 인터페이스랑 비슷하지만 훨씬 유연해요. “이 타입은 ‘비교 가능’이라는 능력을 갖췄다”처럼, 타입에 공통 동작을 깔끔하게 부여하는 방법이에요.

대수적 데이터 타입(ADT)과 패턴 매칭도 있어요. 쉽게 말해 “이 값은 A이거나 B이거나 C 중 하나다”를 타입으로 명확히 표현하고, 그걸 경우별로 깔끔하게 분기 처리하는 기능이에요. 빠뜨린 경우가 있으면 컴파일러가 잡아주고요.

게다가 Coalton은 성능도 신경 썼어요. 추론이 끝난 뒤엔 효율적인 Lisp 코드로 컴파일돼서, 동적 타입 때문에 느려지는 부담을 상당히 덜어내요.

업계 흐름에서 보면

‘동적 언어에 타입 얹기’는 요즘 큰 흐름이에요. JavaScript엔 TypeScript, Python엔 타입 힌트와 mypy, Ruby엔 Sorbet, PHP엔 Hack, Racket엔 Typed Racket이 있죠. 다만 이들 대부분은 “기존 코드를 깨지 않으려고” 타입을 느슨하게 가져가는 점진적 타이핑이에요.

Coalton은 결이 달라요. 점진적으로 덧대는 대신, 건전한(sound) 타입 시스템을 통째로 들여와서 그 영역 안에서만큼은 Haskell이나 OCaml 수준의 보장을 주려는 쪽이에요. “Lisp의 강력한 매크로와 REPL 기반 개발의 즐거움은 유지하면서, 핵심 로직엔 강한 타입 안전성을 입히고 싶다”는 사람들을 위한 도구인 거죠.

흥미로운 건 Coalton이 단순한 취미 프로젝트가 아니라는 점이에요. 양자 컴퓨팅 분야에서 양자 프로그램 컴파일러 같은 까다로운 소프트웨어를 만드는 데 실제로 쓰여왔거든요. 정확성이 생명인 영역에서 ‘Lisp의 표현력 + 강한 타입’의 조합이 진가를 발휘한 사례예요.

한국 개발자에게는

솔직히 국내에서 Lisp를 실무에 쓰는 곳은 많지 않아요. 그래서 Coalton을 당장 프로덕션에 도입할 일은 드물 거예요. 하지만 그렇다고 안 봐도 되는 건 아니에요.

이런 언어를 들여다보면 타입 시스템 자체에 대한 이해가 확 깊어지거든요. 타입 추론이 어떻게 동작하는지, 타입클래스와 인터페이스가 뭐가 다른지, ADT와 패턴 매칭이 왜 버그를 줄여주는지를 한 번 제대로 이해해두면, 우리가 매일 쓰는 TypeScript나 Kotlin, Rust, Swift 같은 언어의 타입 기능도 훨씬 깊이 있게 다룰 수 있어요. 결국 “내 주력 언어를 더 잘 쓰기 위한 공부”로서 가치가 있는 거죠.