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
Lambdas
Partial Application
Type checks and casts

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

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: 2024-06-28