Fuzion • Tutorial

Tutorial

Introduction

🚀

"Hello, World!" Example Feature Declaration Comments Fields Empty Constructors Assignments Effects

Constants and Strings

🔢

Integer Literals Float Literals Numeric Constants Strings and Codepoints bool constants

Type Features

⏺️

Cotypes
Type Features

Routines and Calls

▶️

Calls Value Arguments Type Parameters Lazy Evaluation Lambdas Partial Application

Control Structures

🔀

Match Statement Conditional Expression Loops Loops (advanced) Loops Correctness Loops and Tail Recursion

Basic Types

🔤

Basic Types Integer Types Floating-Point Types Numeric Overflows Fraction Types Type unit Type void

Types

🧩

Record Types References Generics Arrays Choice Types Functions Tuples Unit Types Type checks and casts

Inheritance

🧬

Inheritance

Correctness

🛡️

Design by Contract Design by Contract: Motivation Developing with pre- and postconditions Predefined Pre- and Postcondition Qualifiers Run-time Errors

Concurrency

🧵

Concurrency The concur.threads effect Communicating via Channels Threads and mutable data Waiting for Conditions

Memory

♻️

Memory Management

Modules

📦

Modules Visibility

last changed: 2026-07-03