황금 못, 그리고 Vale(n) 프로그래밍 언어의 부활

Valen은 Rust 라이브러리를 직접 활용하면서 언어 경계를 넘는 제네릭과 메모리 안전성을 지원하려는 실험적 언어이며, Rust 그래픽 라이브러리를 호출해 첫 렌더링에 성공함 C ABI를 통한 연동 대신 rustc 내부 API와 컴파일러 패치를 이용해, Valen의 타입이 Rust 트레이트를 구현하고 Rust 제네릭 함수가 Valen 코드를 다시 호출하도록 연결함 두 컴파일러의 단형화 처리와 LLVM 코드 생성을 연계하되, Rust MIR로 표현하기 어려운 기능을 위해 Valen의 자체 중간 표현과 백엔드를 유지함 그룹 빌림(group borrowing) 으로 공유 가능한 가변 참조와 언어 경계의 빌림 검사를 구현 중이며, 일부 경계 검사는 작동하지만 완성되지 않았고 성능 향상 등의 추가 이점도 아직 검증되지 않음 기존 Vale와 달리 시스템 프로그래밍 언어를 지향하며 Rust 같은 unsafe를 둘 예정이지만, 현재 언어 간 구조체 연동은 크기가 0인 타입으로 제한되고 클로저의 그룹 빌림 등도 미완성임 두 컴파일러를 잇는 황금 못 황금 못(golden spike) 은 1869년 5월 10일, 6년간의 공사 끝에 미국 동서 철도망을 연결하며 Utah의 Promontory Summit에 박은 17.6캐럿 기념 못임 여기서는 서로 멀리 떨어진 시스템을 연결하는 어려운 작업을 뜻함 Google Earth의 로컬 편집 앱과 클라우드 저장소를 연결해 온라인 편집을 가능하게 한 프로젝트에도 같은 이름을 사용한 경험이 있음 일반적인 언어 간 연동은 C ABI와 래퍼 함수에 의존하지만, C에는 제네릭이 없고 이 경로만으로는 언어 경계를 넘는 메모리 안전성을 확보할 수 없음 Valen은 기존 Vale와 닮았지만 다른 언어로, Rust 생태계와 긴밀하게 연동하는 것을 목표로 함 직접적인 활용 대상은 wgpu 기반 화면 공간 굴절 그래픽 라이브러리 Glass Domino임 컴파일러 이름은 valenc이며, “Valence”처럼 발음할 수 있음 매우 실험적인 상태로, 공개적으로 널리 사용하기 전 정리와 재작성, 안정화 작업이 남아 있음 Rust 생태계를 유지하면서 바꾸고 싶은 것 목표는 Rust의 속도, 안전성, 라이브러리 생태계를 활용하면서 특정 사용 사례에서 더 단순하고 편리한 언어를 만드는 것임 핵심 기능으로 다음을 추구함 그룹 빌림을 통해 공유 참조와 가변 참조의 양자택일 제약을 없애고자 함 선형 타입으로 자원 안전성을 확...