Vale Alternatives

Vale reviews and mentions

• Georgia Tech professor's thoughts on C/C++ alternatives
  3 projects | reddit.com/r/ProgrammingLanguages | 13 Aug 2022

  I wonder if he is aware of Vale (not to be confused with Vala).

• What's it like when Haskell is your first language?
  1 project | reddit.com/r/haskell | 29 Jul 2022

  (object.method is also a nicer syntax — really it’s the main thing oop has on fp. Feels like the category theorists that yse ‘;’ piping notation. Side note: I hear Vale is going to let you write functions with method syntax — which would be dooooope.)

• Why is C++ faster than python?
  4 projects | reddit.com/r/learnprogramming | 21 Jul 2022

  There is progress being made on extremely fast, managed (this usually means easier from the perspective of the programmer) languages. The HVM is promising , although obviously focused on functional programming. Vale looks quite amazing, although it's still in progress and it's future performance is not really proven. Lobster works pretty well even now. And for an imperative (and multiparadigm), GC/RC/GenRef-free, memory safe language, we already have something production ready: Rust. Although I doubt many people would call rust "easy to use".

• Új, C++-gyilkos programozási nyelvet jelentett be a Google
  4 projects | reddit.com/r/programmingHungary | 21 Jul 2022
• Carbon Language: An experimental successor to C++
  11 projects | reddit.com/r/rust | 19 Jul 2022

  There is plenty of experimentation in high-performance memory-safe languages going on now - see e.g. https://vale.dev/ and https://github.com/Kindelia/HVM

• Carbon - an experimental C++ successor language
  17 projects | reddit.com/r/programming | 19 Jul 2022

  Also check out Vale, https://vale.dev/. It's another serious PL experimenting with new ideas

• As a rust developer, what are your thought on this claim? "Vale: The Most Memory Safe Native Programming Language"
  3 projects | reddit.com/r/rust | 7 Jul 2022

  The link is about the V programming language, which as far as I can tell is a separate project from Vale.

• What is Box and how is it different from String in Rust?
  5 projects | news.ycombinator.com | 25 Jun 2022

  This is actually what we're doing in Vale. [0]

  Rust is a stellar language, and there's a lot we as a field can learn from it. Its borrow checker is pretty amazing for optimization, but it can be a detriment for a program's overall architecture, not to mention the difficult learning curve, which people tend to underestimate as an issue.

  I want Rust to grow and succeed in the realms it's uniquely suited for, but I think we can make a general purpose programming language that combines its features in a new way and brings its strengths to the rest of the programming world.

  For example, we found a way to recreate the borrow checker based on regions [1] on top of a foundation of shared mutability with reference counting (or generational references [2] in Vale's case).

  Another example is inspired by Rust's RefCell; we found a way to decouple it from Rust's usual aliasability-xor-mutability rules to make it more flexible, in something we call Hybrid-Generational Memory. [3]

  If we succeed, then we'll have found a way to get the borrow checker's benefits without its complexity. We're a little over halfway done with implementing the region borrow checker [4] and haven't broken ground on HGM yet, but we're well on our way.

  Hopefully Vale will be the smaller, clearer language that's struggling to come out of Rust!

  [0] https://vale.dev/

  [1] https://verdagon.dev/blog/zero-cost-refs-regions

  [2] https://verdagon.dev/blog/generational-references

  [3] https://verdagon.dev/blog/hybrid-generational-memory

  [4] https://github.com/ValeLang/Vale/tree/master/Backend/src/reg...

• Not well known programming languages with interesting features?
  7 projects | reddit.com/r/ProgrammingLanguages | 20 Jun 2022

  [Vale](https://vale.dev/): generational references, safe FFI, regions with region borrow checker, higher RAII, seamless concurrency.

• V Language Review (2022)
  8 projects | reddit.com/r/programming | 19 Jun 2022

  There are many more interesting languages in development anyway like Vale, Koka,Ante, Verona, Whiley etc.

• Vale is the fast, safe, and easy programming language
  4 projects | news.ycombinator.com | 17 Jun 2022

  Vale lead here, thanks for posting!

  For those interested in the PL space, here are some of the shenanigans we've been up to in Vale:

  * We added "Higher RAII", a form of linear typing that allows destructors to have return types and parameters. [0]

  * We just yesterday finished the first prototype of deterministic replayability, which will allow us to capture all inputs to a program (including all network data, user input, file input, etc, and eventually, even thread orderings). No article yet, but our docs on it are pretty approachable. [1]

  * Last month, we finished the first milestone of "Fearless FFI", which lets us call into our C code without fearing it corrupting our Vale data. Later on, we'll be adding automatic sandboxing, either via subprocesses (using IPC for FFI) or wasm2c (which should be a lot faster).

  We've also got some very interesting plans for concurrency. We've found a possible way to make memory-safe and data-race-safe structured concurrency even easier, [2] which I hope to get to before the year's end.

  As a fan of C++ and Rust, I'm most excited about having the RAII and flexibility of C++ with the memory safety of Rust, while being a _lot_ easier than either of them. We seem to be succeeding, hopefully that continues!

  I also want to emphasize out that Vale is a work in progress, and we're trying to be very clear on the site about which parts are implemented and which parts aren't.

  We couldn't have gotten this far this without our sponsors' support, so big thanks to all of them! [3]

  [0] https://verdagon.dev/blog/higher-raii-7drl

  [1] https://github.com/ValeLang/Vale/blob/master/docs/PerfectRep...

  [2] https://verdagon.dev/blog/seamless-fearless-structured-concu...

  [3] https://github.com/sponsors/ValeLang

  4 projects | news.ycombinator.com | 17 Jun 2022
• Writing like a pro with Vale and Neovim
  4 projects | news.ycombinator.com | 17 Jun 2022

  Ah, so not related to Vale the programming language, https://vale.dev/, which IMO is much more interesting.

• So I started learning about C++ and I feel like I'm doing everything wrong.
  7 projects | reddit.com/r/cpp | 16 Jun 2022

  How about Pony and Vale?

• Creator of SerenityOS announces new Jakt programming language effort
  17 projects | reddit.com/r/programming | 20 May 2022

  Also keep an eye for Vale, which seems to have came up with some really cool ideas. https://vale.dev/