Show HN: Wyzer Programming Language

Posted by v0id_isgood 20 hours ago

Show HN: Wyzer Programming Language(github.com)

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 the strict type checking but what it does not gurantee safety against are distributed deadlocks which is basically a few independent nodes or services wait permanently for resources or messages held by each other, forming a circular wait, the rest are cross-service correctness and protocol mismatch as well. If we are specific over here Wyzer works on mainly generalizing the concept of choreographic programming in a high level programming language because its the very few attempts of actually solving these gaps of safety. Instead of borrow checkers and lifetimes wyzer has linear/affine types and a perceus reference counting which is computationally much simpler for an LSP to understand as well

after 5 months of research and a few weeks of development i am soon going to release version 0.1.0 of it, if you would like to contribute to it you're most welcome!

197 points | 107 commentspage 6

gokaygurcan 17 hours ago|

> see a new programing language > look inside > it's rust

asking out of my own ignorance, what's so hard with rust that you cannot convince people and contribute to that directly instead of going on your way? i remember so few of these projects survived over the years. do you think it'll really become something other than your pet project?

999900000999 16 hours ago||

Rust is just hard.

It takes the fun out of this. I like JavaScript and Python. If I need to type system, there’s always type script and C#.

I don’t care about a bunch of memory management details, and if I ever want to I might as well use C++ and become a quant.

I learn a new programming language for one of two reasons, there’s a framework or engine that requires it. For example, Godot with GD script.

Or to make more money.

Python was a very happy mix of both, I learned it to work with ML libraries as a hobby and later found it pays a lot more.

DoesntMatter22 10 hours ago||

That's a really bad attitude. "You should work on the thing you dont like instead of the one you like because it might not be successful"

khat 16 hours ago||

Simplicity in the tag line but uses Result<T, E>. Should've followed Zig's direction for error handling. With that out of the way looks like a fun little language.

bramadityaw 15 hours ago||

Zig's way is "simple" but not elegant, specifically since it hard codes how error handling is done. Algebraic data types are more elegant, since it can be used not just for error handling, but also other kinds of data modeling.

v0id_isgood 16 hours ago||

if you think so then open an issue or contribute to it :D we can discuss about it and decide which is the best option

tpoacher 14 hours ago|

"Choreographic programming"?

Are we just straight up inventing buzzwords now?

Hey guess what, I'm more into symphonic opus programming, none of that backyard dance-club programming for me thanks.

/s [no hate, just laffs]

jwolfe 14 hours ago|

That is apparently the existing academic term. It's got a Wikipedia page. But yes, all buzzwords were invented.

tpoacher 14 hours ago||

This confirms to me it was indeed originally intended as a buzzword then. :D

Nothing like establishing a new buzzword in a field to get them citations rolling.

tonyg 14 hours ago||

New? It stretches back industrially to the WS-* stuff in the early 00s (this is where the term originated), and on the academic side has roots in process calculi from the 90s and session types from the late 00s and early 10s.