최근 금융 테크 스타트업 메르커리가 하스켈이라는 다소 마이너한 프로그래밍 언어로 200 만 줄에 달하는 대규모 코드를 운영 중이라는 사실이 기술 커뮤니티에서 큰 화제를 모으고 있다. 보통 금융권은 안정성이 검증된 자바나 코틀린을 선호하는 경향이 강하지만, 메르커리는 하스켈이 가진 강력한 타입 시스템이 금융 데이터의 무결성을 보장하는 데 결정적인 역할을 한다고 주장한다. 이는 단순한 언어 선택의 문제를 넘어, 시스템이 성장함에 따라 발생할 수 있는 치명적인 오류를 컴파일 단계에서 미리 차단하려는 엔지니어링 철학이 반영된 결과로 해석된다.
하스켈을 처음 접한 개발자들이 흔히 겪는 난관은 언어의 추상적 특성과 복잡한 도구 설정이지만, 메르커리의 사례는 이러한 진입 장벽이 실제 운영 환경에서 어떻게 극복되는지를 보여준다. 16 세 때 하스켈의 null 포인터 예외가 없다는 개념에 매료된 엔지니어가 20 년 가까이 코드를 유지하며, 회사가 급성장하고 문서화가 뒤처지는 상황에서도 시스템이 이해 가능한 상태를 유지할 수 있었던 비결은 바로 타입 시스템에 내장된 운영 지식이었다. 위험한 연산을 엄격한 경계 뒤에 숨기고, 안전한 경로를 가장 쉬운 선택지로 만드는 구조는 인력이 교체되어도 시스템의 안정성을 해치지 않는 핵심 요소로 작용한다.
하지만 이 접근법이 만능이라는 주장에는 이견도 존재한다. 일부 개발자들은 하스켈이 가진 표현력의 강력함만큼이나 학습 곡선이 가파르고, 특정 작성자에 따라 코드가 읽기 어려워질 수 있다는 점을 지적한다. 특히 도구 체인이 복잡하거나 컴파일러 오류 메시지를 해석하는 데 시간이 많이 소요된다는 점은 실제 생산성 측면에서 고려해야 할 변수다. 그럼에도 불구하고 사용자 권한을 타입으로 정의하여 인증 오류를 근본적으로 방지하는 패턴은 하스켈뿐만 아니라 러스트나 타입스크립트 등 다른 언어에서도 차용될 만큼 그 유용성이 입증되고 있다.
메르커리의 사례는 단순한 기술 스택의 성공 스토리를 넘어, 대규모 시스템에서 ‘안정성’과 ‘유지보수성’을 어떻게 정의할지에 대한 새로운 기준을 제시한다. 앞으로는 하스켈의 이러한 접근 방식이 다른 금융 서비스나 데이터 무결성이 중요한 분야에서 얼마나 확장될지, 그리고 복잡한 타입 시스템이 실제 비즈니스 속도와 얼마나 조화를 이룰 수 있을지가 주목할 만한 지점이다. 기술적 엄밀함이 비즈니스의 신뢰도로 직접 연결되는 시대가 왔음을 보여주는 중요한 지표라 할 수 있다.
작성자 소개
