6 ms·
Within Rust is a smaller, simpler, safer language struggling to get out
by usrnm 2y ago
Within Rust is a smaller, simpler, safer language struggling to get out
- consp 2y agoReadable would be a nice benefit.
- Guthur 2y agoThis, I don't understand why we have to load these languages up with so much syntax, it's mind boggling to think that some how we feel it's beneficial to have so much. I'm admittedly biased to the symbolic expression but surely we could have come up with some middle ground.
- Ygg2 2y agoTwo things: - It was made to be approachable for C++ experts - The idea was that language could be effortlessly greppable.
- v9v 2y agoNot sure about smaller or simpler, but Ada is definitely more readable in my opinion.
- rapsey 2y agoWithout 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.
- logicchains 2y agoThere'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.
- rapsey 2y agoNo 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.
- gavinhoward 2y agoAuthor 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/example.y https://git.yzena.com/Yzena/Yc/src/branch/master/src/yao/exa...
- ZoltanAK2 2y agoYMMV, but Austral-lang (https://austral-lang.org/ https://austral-lang.org/) comes quite close to what I want out of a smaller, simpler, safer Rust. Its syntax is inspired by Ada, and as far as I know the designer has no PhD in type theory, so it matches the requirements put forth by the other commenters too.