Elm 1.0을 향한 또 한 걸음

AI 요약

Elm의 새 버전 0.19.3은 컴파일러를 ‘구성 단계부터 올바르게(correct by construction)’ 만들기 위한 기반 작업을 담았습니다. Evan Czaplicki는 Acadia 컴파일러가 Elm 컴파일러보다 앞선 기반 구조를 갖췄다고 설명합니다. 두 컴파일러를 맞추려면 일부 기반 개선을 Elm에 역이식해야 하며, 이를 몇 차례 작은 릴리스로 나눠 진행할 계획입니다. 기반을 정렬한 뒤에는 더 큰 기능 개선을 추진합니다. 글에서는 0.19.3의 타입 설계를 두 사례로 보여줍니다.

문자열을 구분하는 타입

Elm에서는 type Email = Email String처럼 기존 값에 새 타입을 씌울 수 있습니다. 생성자를 모듈 밖에 공개하지 않고 validate : String -> Maybe Email만 노출하면, Email 값은 검증 함수를 거쳐야 만들어집니다. Email과 일반 String도 서로 다른 타입으로 취급하므로 이메일 주소를 사용자 이름처럼 쓰는 실수를 막습니다. 이런 래퍼 타입은 실행 시 추가 비용이 없습니다. 컴파일러가 내부 표현을 일반 문자열로 처리해 생성된 JavaScript에서도 문자열로 남기기 때문입니다.

이전 Elm 컴파일러는 변수 이름을 Name 하나로 표현했습니다. 0.19.3에서는 타입 이름, 모듈 이름, 모듈 접두사, 변수 이름, 타입 변수 이름, 연산자 이름을 각각 별도 타입으로 나눴습니다. 이름마다 규칙이 다르므로 서로 다른 종류를 잘못 섞지 못하게 합니다. Evan은 이 리팩터링 중 드문 타입 별칭 처리 버그도 찾았습니다. 확장 레코드(extended record)가 중첩된 경우 확장 변수를 제대로 변환하지 못하는 문제였습니다. 독립적인 정밀화 작업이 기존 증상의 근본 원인을 드러냈다고 설명합니다.

비어 있지 않고 선형인 순환 경로

Elm 컴파일러는 모듈 사이의 강결합 요소(Strongly Connected Component, SCC)를 찾아 순환 임포트 오류를 보여줍니다. SCC는 단순한 고리 모양이 아닐 수도 있어, 그래프가 복잡해지면 터미널에서 경로를 읽기 어렵습니다. 글은 그래프 API의 타입을 정교하게 만들어 이 문제를 다루는 방식을 소개합니다.

MinimalCycle a는 값 하나와 추가 값 목록으로 구성됩니다. 첫 값이 반드시 필요하므로 빈 순환 경로를 표현할 수 없습니다. 그래프 모듈은 복잡한 연결 정보를 Component 안에 감추고, 외부 코드가 순환을 보려면 toMinimalCycle을 호출하도록 합니다. 이 변환은 최소 길이의 선형 경로를 돌려줍니다. 그 결과 오류 메시지에 빈 경로나 분기된 그래프 대신, 적어도 하나의 모듈을 포함하는 읽기 쉬운 경로를 그리도록 타입과 모듈 경계가 보장합니다.

릴리스에 포함된 추가 작업

0.19.3에는 동시성(concurrency), 바이너리 직렬화(binary serialization), 파일 잠금(file locking)을 위한 기본 요소 개선도 포함됩니다. 예를 들어 유효한 프로젝트 잠금이 있을 때만 파일을 쓰도록 타입 시스템으로 조건을 강제합니다. 글은 웹 애플리케이션, 데이터베이스, 컴파일러 어디서든 타입과 데이터 구조에 불변 조건을 담으면 테스트나 주의에만 의존하지 않고 특정 버그 범주를 표현 불가능하게 만들 수 있다고 설명합니다.

원문: Elm / 번역·요약: Trawling