新プログラमिंग言語「Wyzer」公開
मूल शीर्षक: Show HN: Wyzer Programming Language
यह क्यों महत्वपूर्ण है
分散システムの安全性をプログラミング言語レベルで解決しようとする新しいアプローチとして注目される。
Wyzer-Langが開発した静的型付けコンパイル言語「Wyzer」がGitHubで公開された。分散システムの安全性をChoreographic ProgrammingとPerceus Memory Modelで解決することを目指している。現在87スターを獲得。
「Wyzer」は、Atiksh Sharmaが設計した静的型付けのコンパイル言語で、リソース指向プログラミングを採用している。最大の特徴は、分散システムにおける安全性の確保を目的とした「Choreographic Programming（コレオグラフィック・プログラミング）」の統合と、「Perceus Memory Model」の採用にある。
開発の動機として、Rustはプロセス内の安全性を保証する一方、分散デッドロック、プロトコルの不一致、サービス間の整合性については対応していないという課題が挙げられている。WyzerはChoreographic Programmingをこれらの問題に対する数少ない真剣な解決策として導入している。
リポジトリにはABI仕様書（ABI_SPEC.md）、設計文書（DESIGN.md）、仕様書（SPEC_SHEET.md）、研究文書（RESEARCH.md）などが含まれており、言語設計の透明性が確保されている。ライセンスはApache-2.0。コントリビューションも歓迎されており、Discordサーバーも開設されている。現時点でGitHubのスター数は87、フォーク数は4となっている。