Fuzion • Tutorial

Tutorial

Introduction

🚀

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

Constants and Strings

🔢

Integer Literals
Float Literals
Numeric Constants
Strings and Codepoints
bool constants

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

Comments

💬

Comments

Correctness

🛡️

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

Concurrency

🧵

Concurrency

Memory

♻️

Memory Management

Modules

📦

Modules
Visibility

last changed: 2026-03-13