Elixir의 “점진적 타입”과 Gleam의 “정적·완전 타입”

Gleam은 BEAM(Erlang VM)과 JavaScript를 대상으로 하는 정적 타입 언어로, 최근 Elixir가 점진적 타입(gradual typing) 도입을 준비하면서 두 언어의 타입 철학 차이가 주목받고 있습니다. 이 글은 Reddit 스레드를 바탕으로 Gleam의 완전한 정적 타입 시스템과 Elixir의 유연한 점진적 타입 접근 방식이 제공하는 서로 다른 개발 경험(developer experience)을 상세히 비교합니다. Gleam은 언어 설계 초기부터 타입 안정성과 간결한 문법을 중심에 두어 처음부터 철저하게 설계된 신도시를 건설하는 것에 비유되는 반면, Elixir는 풍부한 생태계와 동시성(OTP)의 강점을 유지하며 기존 도시에 교통 신호를 추가하듯 점진적으로 안정성을 확보해 나가는 전략을 취합니다. 핵심 개발자들의 논의를 통해 드러나듯, 두 언어는 단순한 기능 차이를 넘어 프로그램의 표현력과 타입 추론의 우선순위에서 각기 다른 가치를 지향합니다. 사용자는 컴파일 시점의 강력한 안정성과 순수 함수형 스타일을 원할 때는 Gleam을, 검증된 생태계와 관용적인 동적 패턴을 중시할 때는 Elixir를 선택할 수 있으며, 이러한 기술적 다양성은 BEAM 에코시스템 내에서 개발자에게 최적의 도구를 선택할 수 있는 유용한 통찰을 제공합니다.