Gleam은 더 이상 Erlang 소스 코드로 컴파일하지 않음

Gleam v1.19.0은 Erlang 소스 코드 대신 중간 표현인 Erlang abstract forms를 생성하며, Erlang 컴파일러의 토큰화와 파싱 단계를 건너뛰어 빌드 시간을 줄임 런타임의 소스 위치 메타데이터가 원본 Gleam 코드와 정확히 대응해, BEAM 오류 보고서와 스택 추적에서 정확한 줄 번호를 확인할 수 있음 BEAM 바이트코드 직접 생성은 채택하지 않음. 가상 머신의 변경을 따라가고 기존 최적화를 재구현하는 부담 때문에 중간 표현이 비용 대비 효과가 좋은 선택임 JavaScript 코드 생성은 패턴 매칭의 중첩 분기와 중간 변수를 줄이고, 짧은 리스트를 배열 변환 없이 직접 구성하도록 개선됨 TypeScript 타입 보존과 외부 빌드 도구 연동을 개선하고, 언어 서버의 레이블 탐색과 이름 변경, 브라우저 내 포맷팅, 오류 진단도 강화함 Erlang 소스 대신 중간 표현 생성 Erlang 가상 머신과 JavaScript 런타임을 위한 타입 안전성과 확장성을 갖춘 언어 Gleam의 v1.19.0이 출시됨 새 Erlang 코드 생성기는 기존 설계를 전면 교체하고, 소스 코드 대신 Erlang abstract forms를 출력함 Erlang abstract forms는 Erlang 구문을 나타내는 메타데이터가 붙은 트리이며, 일반적으로 Erlang의 토큰화와 파싱을 거쳐 생성되는 중간 표현임 external term format으로 바이너리 인코딩해 직접 불러오므로 Erlang 컴파일러의 전반부를 건너뜀 빌드 성능과 원본 코드의 위치 정보가 개선됨 Erlang에서 실행하는 Gleam 프로젝트의 빌드 시간이 크게 줄어듦 기존 스택 추적은 가장 가까운 함수만 가리키는 등 부정확할 수 있었지만, 이제 BEAM 오류 보고서와 스택 추적의 줄 번호가 원본 Gleam 코드에 정확히 대응함 이 메타데이터로 edb 같은 디버거의 완전한 Gleam 지원이 가능해질 수 있으나, Gleam 팀이 직접 진행한 작업은 아직 없음 오래되고 안정적이지만 현재의 개발 기준과 관례에는 맞지 않던 생성기를 교체해 컴파일러 코드 품질도 높임 트랜스파일러(transpiler) 는 소스 코드처럼 사람이 읽을 수 있는 형식을 출력하는 컴파일러를 뜻하며, 그 자체로 열등하거나 구현하기 쉽다는 뜻은 아님 출력 형식을 보기 좋게 다듬어야 한다면 바이너리 출력보다 구현이 더 어려울 수도 있음 컴파일 벤치마크와 해석의 한계 José Vali...