문법보다 사람이 먼저 — '사람을 위한 언어'를 표방하는 EYG 이야기

새로운 프로그래밍 언어가 나왔다고 하면 보통 '기존 언어보다 빠르다'거나 '메모리 안전성이 좋다' 같은 이야기를 기대하게 되는데요. 오늘 소개할 EYG(Eat Your Greens)는 조금 결이 달라요. 이 언어가 내세우는 건 성능이 아니라 '사람'이거든요. 만든 사람인 Peter Saxton은 몇 년째 이 언어를 다듬으면서 '프로그래밍을 어렵게 만드는 것 중에 컴퓨터 때문이 아니라 관습 때문에 남아있는 게 뭘까'라는 질문을 계속 던져왔는데, 최근 글에서 그 고민의 결과물을 '사람을 위한 프로그래밍 언어'라는 제목으로 정리했어요.

코드가 텍스트 파일이 아니라면?

EYG에서 제일 파격적인 부분은 프로그램을 텍스트가 아니라 구조화된 데이터, 그러니까 AST(추상 구문 트리) 형태로 다룬다는 거예요. 이게 뭐냐면, 우리가 보통 코드를 .py나 .js 같은 텍스트 파일로 저장하고 컴파일러가 그걸 매번 문법에 맞게 해석하잖아요. EYG는 그 해석 단계를 건너뛰고 처음부터 트리 구조로 코드를 저장하고 편집해요. 그러면 재미있는 일이 생기는데, '문법 오류'라는 개념 자체가 사라져요. 괄호를 안 닫아서 나는 에러, 세미콜론을 빼먹어서 나는 에러가 원천적으로 불가능해지는 거죠. 들여쓰기를 탭으로 할지 스페이스로 할지 같은 해묵은 논쟁도 의미가 없어지고요.

실행 중에 터지지 않는 언어

두 번째 특징은 타입 시스템이에요. EYG는 타입 표기를 한 줄도 안 써도 컴파일러가 모든 타입을 추론해주는데, 그 추론이 '건전(sound)'해요. 쉽게 말하면 컴파일이 통과된 프로그램은 실행 중에 크래시가 나지 않는다는 걸 보장한다는 뜻이에요. null도 없고 예외(exception)도 없어요. 에러가 날 수 있는 상황은 전부 타입에 드러나서, 처리를 안 하면 아예 컴파일이 안 되거든요.

그리고 제일 흥미로운 게 대수적 이펙트(algebraic effects)라는 개념이에요. 이게 뭐냐면, 함수가 파일을 읽거나 네트워크 요청을 보내는 것 같은 '부수 효과'를 함수 타입에 명시해두고, 그 실제 구현은 실행 환경이 나중에 끼워주는 방식이에요. 콘센트에 비유하면 이해가 쉬운데요. 프로그램은 '나 220V 플러그 필요해'라고 규격만 선언하고, 전기를 실제로 공급하는 건 브라우저든 서버든 CLI든 그 코드를 실행하는 쪽이 담당하는 거예요. 덕분에 같은 코드가 환경에 상관없이 어디서든 돌아가고, 테스트할 때는 가짜 구현을 꽂아주면 되니까 모킹 문제도 자연스럽게 해결돼요.

혼자만의 실험은 아니에요

이런 아이디어가 EYG만의 것은 아니에요. 코드를 텍스트가 아닌 구조화된 데이터로 저장하는 건 Unison이 먼저 시도했고, '런타임 예외 없는 언어'는 Elm이 프론트엔드에서 이미 증명했죠. 이펙트 핸들러는 Koka나 Effekt 같은 연구 언어에서 다듬어졌고 OCaml 5에도 들어간 개념이고요. EYG의 의미는 이렇게 흩어져 있던 아이디어들을 '배우기 쉽고 예측 가능한 언어'라는 하나의 목표 아래 묶어냈다는 데 있어요. 각각은 검증된 아이디어인데, 이걸 접근성 관점에서 조합한 시도는 드물거든요.

우리한테 어떤 의미일까요

솔직히 EYG를 당장 실무에 쓸 일은 없을 거예요. 생태계도 작고 아직 실험적인 단계니까요. 그래도 배워둘 가치는 충분한데요. 이펙트라는 개념은 이미 React의 useEffect나 의존성 주입 같은 형태로 우리 곁에 와 있고, 이걸 언어 차원에서 제대로 다루면 어떤 모습이 되는지 보여주는 좋은 교재거든요. 그리고 AI가 코드를 생성하는 시대에 '코드를 텍스트가 아닌 구조로 다룬다'는 접근은 생각할 거리를 던져줘요. 도구 입장에서는 문법 오류가 아예 불가능한 표현 방식이 훨씬 다루기 좋으니까요.

정리하면, EYG는 '언어가 사람에게 맞춰야지, 사람이 언어에 맞추면 안 된다'는 주장을 실제로 구현해본 실험이에요. 여러분은 어떻게 생각하세요? 코드를 텍스트 파일로 저장하는 관습, 언젠가 정말 사라질 수 있을까요?