Types

Felico has a static type system that checks types at compile time.

Basic Types

let x: int = 42

let pi: float = 3.14159

let flag: bool = true

let message: string = "Hello"

Felico can infer types automatically:

let x = 42        // inferred as int
let name = "Bob"  // inferred as string
let ok = true     // inferred as bool

You can explicitly annotate types:

let x: int = 42
let y: float = 3.14

Functions without a return value return the unit type ():

fn greet() {
    print("Hello")
}  // returns ()