Vale

Hello World in Vale

Every programming journey starts with Hello World. Let’s write our first Vale program.

The Code

Create a file named hello.vale:

import stdlib.*;

exported func main() {
  println("Hello, …

Variables and Types in Vale

Vale is a statically typed systems language with full type inference, single ownership, and generational references for memory safety. That combination shapes how variables work: by default, every …

Operators in Vale

Operators are how you combine values into expressions. As an imperative systems language with a static, strong, fully-inferred type system, Vale offers a familiar set of arithmetic and comparison …

Control Flow in Vale

Control flow is how a program decides what to do and how many times to do it. As an imperative systems language, Vale offers the structured control-flow constructs you would expect — if/else, while, …

Functions in Vale

Functions are the primary unit of organization in Vale. As an imperative systems language, Vale uses functions the way C, Rust, and C++ do — named blocks of code that take typed parameters and …