분산 안전성 내장 언어 Wyzer 공개
원제: Show HN: Wyzer Programming Language
왜 중요한가
분산 시스템의 프로토콜 정합성을 언어 수준에서 보장하려는 시도로, 마이크로서비스 환경의 안전성 문제에 새로운 접근법을 제시한다.
개발자 Atiksh Sharma가 정적 타입 컴파일 언어 'Wyzer'를 GitHub에 공개했다. Wyzer는 코레오그래픽 프로그래밍과 Perceus 메모리 모델을 통합해 분산 시스템의 데드락·프로토콜 불일치·서비스 간 정합성 문제를 언어 수준에서 해결하는 것을 목표로 한다. 현재 GitHub에서 별 87개를 기록 중이다.
Wyzer는 '단순함이란 힘의 부재가 아니라 허세 없는 힘'이라는 설계 철학 아래 개발된 오픈소스 프로그래밍 언어다. Apache-2.0 라이선스로 공개되었으며 OCaml 기반 빌드 시스템인 Dune을 사용한다.
가장 큰 특징은 코레오그래픽 프로그래밍(Choreographic Programming)의 통합이다. Rust가 단일 프로세스 내 메모리 안전성을 보장하는 반면, 분산 시스템에서 발생하는 데드락, 서비스 간 프로토콜 불일치, 크로스 서비스 정합성 문제는 해결하지 못한다는 점에 착안했다. Wyzer는 이를 언어 설계 단계에서 해결하고자 코레오그래픽 프로그래밍을 핵심 개념으로 채택했다.
메모리 관리에는 Perceus 메모리 모델을 적용했다. Perceus는 참조 카운팅 기반의 최적화 기법으로, 가비지 컬렉터 없이 효율적인 메모리 관리를 가능하게 한다.
공개된 리포지토리에는 언어 명세(SPEC_SHEET.md), ABI 사양(ABI_SPEC.md), 설계 문서(DESIGN.md), 연구 자료(RESEARCH.md) 등이 포함되어 있으며, 공식 문서에는 변수·타입, 제어 흐름, 함수·구조체, 메모리 모델 등의 항목이 정리되어 있다. 기여를 원하는 개발자는 RESEARCH.md를 읽고 Discord 서버에 참여할 것을 권장하고 있다.