Hacker News new | past | comments | ask | show | jobs | submit login

Without a GC? No there is not. You are welcome to try of course, but unless you have a PhD in type theory I doubt your chances.



Author here.

Yao is already fully designed. And while I haven't updated its example file [1] to include everything, it would only be a max of two or three times bigger.

This includes generics, an equivalent to Zig comptime, something like traits but more powerful, a solution to the expression problem, etc.

The solution is structured concurrency.

The only reason I am not working more on Yao is because I worked on it for three years at full tilt (because I constantly refactor to eliminate tech debt), and I am burned out.

But adding a new feature takes only about two hours max; I just add a new client-defined keyword.

[1]: https://git.yzena.com/Yzena/Yc/src/branch/master/src/yao/exa...


There's a smaller, simpler, safer language lying in Rust called "Rust without async", which would be good enough for the 99% of use-cases that don't need absolute-lowest-possible-latency async.


No one is forcing anyone to use async though. It is an entirely optional part of the language.

But it is naive to think that not using it is an easier path towards a solution.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: