Website | Source

Features:

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{})
}

Reading

Articles

Books

Communities

Forums

Patterns

Tutorials

Videos

Applications

Build Systems

Command-line

Editors

Games

Graphics

Interpreters/Compilers

Operating systems/Kernels

Package managers

Project management

Serialization

Utilities

Web

Libraries

Audio

Automation

Command line interface (CLI) / Terminal / Shell

Database clients

Discord

Eventing

File handling

Game development

Graphics

Interoperability

IRC

Networking

Operating system

Scientific computing

Serial Communications

Telecommunications

Telegram

Text processing

User Interface toolkits

Utility

Web


Tags: language   native   web assembly  

Last modified 12 December 2025