Show HN: Wyzer Programming Language
So i've been working on this project since a few days (or months i should say), it's called wyzer (meaning wiser) it's a statically typed, compiled, resource-oriented programming language with integrated distributed safety via choreographic programming and perceus memory model, The reason why i began this project is out of frustration from Rust, you see it does provide safety for your memory by…
A new programming language called Wyzer has been developed by its creator over the past few months. Wyzer is a statically typed, compiled language that aims to provide resource-oriented programming with integrated distributed safety. The language's key feature is its use of linear/affine types and a perceus reference counting system, which is simpler for language service providers (LSPs) to understand.
Wyzer was created in response to frustration with Rust's memory safety guarantees, which do not address distributed deadlocks. These deadlocks occur when independent nodes or services permanently wait for resources or messages held by each other, forming a circular wait. In addition to this, Wyzer also addresses cross-service correctness and protocol mismatch issues.
The creator of Wyzer has been working on the project for five months and expects to release version 0.1.0 in the near future. The language is open to contributions, and the creator encourages anyone interested to get involved. The project's comments page can be found at https://news.ycombinator.com/item?id=49209385.
Written by urgent.news from Hacker News Best's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
This story
This is one outlet's version. Read the fullest account.
- Show HN: Wyzer Programming Language github.com
