hylo-old

As a compiler developper (yeah _I'm something of a_ ...) I'm shoked to see - https://github.com/val-lang/val/issues/758 - https://github.com/val-lang/val/issues/711 That smells bad implementation. You should self-host ASAP guys, you'll find more basic bugs like that. Yet 500+ stars !

I'm particularly excited for this too. We're starting to see a lot on the horizon: * Austral is using linear types for zero-cost memory safety [0] and then allows for borrowing on top of that. Val does something similar called mutable value semantics, which is pretty interesting [3]. * Vale brings borrow checking up to the regions level [1] which gives borrow checking benefits while still allowing mutable aliasing, which makes it much more flexible and ergonomic. * Cone uses borrow checking on top of any user-specified allocation strategy, such as single ownership, RC, GC, etc. [2] [0] https://borretti.me/article/introducing-austral [1] https://verdagon.dev/blog/zero-cost-memory-safety-regions-pa... [2] https://cone.jondgoodwin.com/ [3] https://github.com/val-lang/val

I didn't confuse it with Vala, but with Val: https://github.com/val-lang/val

Dave Abrahams and Dimitri Racordon from Swift and C++ fame, announced during their quite interesting keynote for language geeks at C++Now 2022, a new programming language based on a mix of Swift and Rust ideas, with main focus on being value based and generics The somehow lenghty keynote (3h), that introduces the background ideas leading up to the language, and the language itself, "A Future of Value Semantics and Generic Programming" https://www.youtube.com/watch?v=4Ri8bly-dJs https://www.youtube.com/watch?v=GsxYnEAZoNI& If you want to skip it and go straight to the source, it is located at, https://github.com/val-lang/val