Show HN: Wyzer プログラミング言語

数日（あるいは数ヶ月と言うべきか）前からこのプロジェクトに取り組んでいます。Wyzer（より賢いという意味）と呼ばれています。これは、チョーografíaプログラミングによる統合された分散安全性とPerceusメモリモデルを備えた、静的型付けのコンパイル型リソース指向プログラミング言語です。このプロジェクトを開始した理由は、Rustに対する不満からです。Rustは厳格な型チェックによりメモリの安全性を提供しますが、分散デッドロック、つまり複数の独立したノードやサービスが互いに保持しているリソースやメッセージを永久に待ち続けることで循環待ちを形成する状況に対しては安全性を保証しません。その他にも、クロスサービス間の正確性やプロトコルの不一致といった問題があります。具体的に言うと、Wyzerはチョーografíaプログラミングの概念をハイレベルなプログラミング言語で一般化することに主に取り組んでいます。これは、これらの安全性のギャップを実際に解決しようとする非常に少ない試みの一つです。Rustの借用チェッカーやライフタイムの代わりに、Wyzerは線形/アフィン型とPerceus参照カウントを採用しており、これはLSP（Language Server Protocol）にとっても計算上はるかに単純です。 5ヶ月の研究と数週間の開発を経て、まもなくバージョン0.1.0をリリースする予定です。もし貢献したい方がいれば、大歓迎です！