Vale's goal is to show the world that speed and safety can be easy. Vale is:

• Fast: Vale uses an entirely new approach to memory management: generational references, which have zero aliasing costs and no garbage collection pauses.
• Fearless: It is the safest native language: zero unsafe, region isolation, extern boundaries, and dependency extern whitelisting.
• Flexible: Its new take on regions enables alternate memory management and allocation strategies, with the region borrow checker enabling seamless, fast, and easy interop between them.

Read comparisons with C++, Javascript, and Rust!

Featuring:

• Statically Typed with type inference.
• Ownership, move semantics, and deterministic destruction.
• Memory Safe, using constraint and weak references.
• Regions for different allocation strategies.
• Inline References for optimization.
• Generics, including virtual generics.
• Interface Constructors
• Universal Function Call Syntax
• Mutable and Immutable Objects
• Patterns: Destructuring, Parameters, Extractors

Recent posts:

• Generational References (Jan 2)
• Hybrid-Generational Memory (Jan 2)
• Zero Cost References with Regions (Jul 29 2020)
• Next Steps for Single Ownership and RAII (Jul 15 2020)
• Announcing Vale! (Jul 11 2020)

Vale is at version 0.1, see the Roadmap for what's next!

Vale is open for contributions, thank you to our team of contributors!