Vale aims to bring a new way of programming into the world that offers speed, safety, and ease of use.

We’re a very small team of passionate individuals, working on this on our own and not backed by any corporation.

With enough sponsorship, we can:

• Start a a 501(c)(3) non-profit organization to hold ownership of Vale (tentatively named the Vale Software Foundation).
• Buy the necessary computers to support more architectures.
• Work on this full-time.
• Make Vale into a production-ready language, and push it into the mainstream!

We have a strong track record, and during this quest we've discovered and implemented a lot of completely new techniques:

• The Linear-Aliasing Model that lets us use linear types where we need speed, and generational references where we need the flexibility of shared mutability.
• Region Borrowing, which makes it easier to write efficient code by composing shared mutability with the ability to temporarily freeze data.
• Higher RAII, where the language adds logic safety by enforcing that we eventually perform a specific future operation.
• Perfect Replayability makes debugging race conditions obsolete by recording all inputs and replaying execution exactly.

These have been successfully prototyped. With your sponsorship we can polish them, integrate them, and bring these techniques into the mainstream!

Our next steps are focused on making Vale more user-friendly by:

1. Finalizing the compiler's error messages and improving compile speeds.
2. Polishing interop with other languages.
3. Growing the standard library and ecosystem!

We aim to combine and add to the benefits of our favorite languages:

• The scalability of Go and ergonomics of Scala, but using Vale's linear-aliasing model instead of garbage collection.
• C++'s single-ownership shared-mutability abilities with more memory safety, without sacrificing its flexibility.
• The speed and safety of Rust, but with easier borrowing rules, more compile time guarantees, and better compatibility with shared mutability.

If you're impressed by our track record and believe in the direction we're heading, please consider sponsoring us!

If you have any questions, always feel free to reach out via email, twitter, discord, or the subreddit. Cheers!