Ferret Programming Language

A modern, type-safe programming language designed for clarity, safety, and developer productivity.

Get Started Source Code

Features

Type Safety

Powerful type system with flow-sensitive type narrowing catches errors at compile-time, not runtime.

Optional Types

No more null pointer exceptions! Optional types T? make handling missing values safe and elegant.

Error Handling

First-class error handling with error types E ! T that make dealing with failures explicit.

Modern Syntax

Clean, expressive syntax that’s easy to learn and pleasant to write.

Quick Look

// Variables with type inference
let name: str = "Ferret";
let version := 1;

// Optional types with type narrowing
let maybeValue: i32? = 42;

if maybeValue != none {
    let doubled: i32 = maybeValue * 2;
}

// Functions
fn greet(name: str) -> str {
    return "Hello, " + name + "!";
}