V

Features:

No null
No undefined values
No undefined behavior
No variable shadowing
Bounds checking
Immutable variables by default
Pure functions by default
Immutable structs by default
Option/Result and mandatory error checks
Sum types
Generics
No global variables (can be enabled for low level applications like kernels via a command line flag)

Example: lander.v:

// Example of sum types
// Models a landing craft leaving orbit and landing on a world
import rand
import time

struct Moon {
}

struct Mars {
}
fn (m Mars) dust_storm() bool {
	return rand.int() >= 0
}

struct Venus {
}

type World = Moon | Mars | Venus

struct Lander {
}
fn (l Lander) deorbit() {
	println('leaving orbit')
}
fn (l Lander) open_parachutes(n int) {
	println('opening $n parachutes')
}

fn wait() {
	println('waiting...')
	time.sleep(1)
}

fn (l Lander) land(w World) {
	if w is Mars {
		for w.dust_storm() {
			wait()
		}
	}
	l.deorbit()
	match w {
		Moon {} // no atmosphere
		Mars {
			// light atmosphere
			l.open_parachutes(3)
		}
		Venus {
			// heavy atmosphere
			l.open_parachutes(1)
		}
	}
	println('landed')
}

fn main() {
	l := Lander {}
	l.land(Venus{})
	l.land(Mars{})
}

Tags: language native

Last modified 26 May 2022

V

Simple, fast, safe, compiled language for developing maintainable software.