Fuzion • Tutorial

Tutorial

Introduction

✨

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

Expressions

✨

Integer Literals
Float Literals
String constants
bool constants
Calls
Lazy Evaluation
Type checks and casts

Control Structures

✨

Conditional Expression
Loops
Advanced Loops
Loop Correctness
Loops and Tail Recursion
Match Statement

Basic Types

✨

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

Types

✨

Record Types
References
Generics
Arrays
Choice Types
Functions
Tuples
Unit Types

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