Show HN: Wyzer Programming Language
Wyzer는 Choreographic Programming과 Perceus 메모리 모델을 통합하여 분산 시스템의 안전성을 내재화하는 정적 타입 컴파일 언어입니다. 개발자는 Rust가 제공하는 메모리 안전성 외에 분산 데드락, 프로토콜 불일치, 서비스 간 정확성 문제와 같은 분산 안전 문제를 해결하는 데서 오는 좌절감을 바탕으로 이 프로젝트를 시작했습니다.
Wyzer는 이러한 분산 안전 문제를 해결하기 위해 Choreographic Programming 개념을 고수준 프로그래밍 언어로 일반화하는 데 중점을 둡니다. 기존 Rust가 소유권과 수명 규칙을 통해 프로세스 내 안전성을 보장하는 데 집중했다면, Wyzer는 메모리, 스레드, 네트워크를 아우르는 단일한 소유권 규칙을 제시하여 시스템 전체의 안전성을 확보하고자 합니다.
이를 위해 Wyzer는 Rust의 보조 장치들인 빌림 검사기(borrow checker)나 수명(lifetimes) 대신 선형/아핀 타입과 Perceus 참조 카운팅을 도입하여 계산적으로 더 단순한 접근 방식을 사용합니다. 이 접근 방식은 분산 환경에서 발생하는 잠재적인 오류들을 코드 실행 전에 포착하여 데드락이나 메시지 손실 같은 문제를 방지하는 것을 목표로 합니다.
현재 개발자는 5개월간의 연구와 개발을 거쳐 버전 0.1.0을 곧 출시할 예정이며, 커뮤니티 기여를 환영하고 있습니다. Wyzer는 메모리, 스레드, 네트워크 안전성을 동시에 해결하려는 초기 연구 단계이며, 아직 해결해야 할 많은 난제들이 남아있습니다.
Wyzer는 이러한 분산 안전 문제를 해결하기 위해 Choreographic Programming 개념을 고수준 프로그래밍 언어로 일반화하는 데 중점을 둡니다. 기존 Rust가 소유권과 수명 규칙을 통해 프로세스 내 안전성을 보장하는 데 집중했다면, Wyzer는 메모리, 스레드, 네트워크를 아우르는 단일한 소유권 규칙을 제시하여 시스템 전체의 안전성을 확보하고자 합니다.
이를 위해 Wyzer는 Rust의 보조 장치들인 빌림 검사기(borrow checker)나 수명(lifetimes) 대신 선형/아핀 타입과 Perceus 참조 카운팅을 도입하여 계산적으로 더 단순한 접근 방식을 사용합니다. 이 접근 방식은 분산 환경에서 발생하는 잠재적인 오류들을 코드 실행 전에 포착하여 데드락이나 메시지 손실 같은 문제를 방지하는 것을 목표로 합니다.
현재 개발자는 5개월간의 연구와 개발을 거쳐 버전 0.1.0을 곧 출시할 예정이며, 커뮤니티 기여를 환영하고 있습니다. Wyzer는 메모리, 스레드, 네트워크 안전성을 동시에 해결하려는 초기 연구 단계이며, 아직 해결해야 할 많은 난제들이 남아있습니다.