Fuzion • Tutorial

Tutorial

Introduction

✨

"Hello, World!" Example

Statements

✨

Feature Declaration
Fields
Assignments

Expressions

✨

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

Control Structures

✨

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

Basic Types

✨

Basic Types
Integer 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