Know what your code can do before it runs
A compiled systems language where every function declares its capabilities — IO, network, clock, and more — with compile-time effect checking.
curl -fsSL https://raw.githubusercontent.com/SailfinIO/sailfin/main/install.sh | bash struct Config {
host: string,
port: number,
verbose: bool,
}
fn load_config(path: string) -> Config ![io] {
let raw = fs.read(path);
return Config.parse(raw);
}
fn handle(req: http.Request) -> http.Response ![net] {
return http.Response {
status: 200,
body: "Sailfin is running",
};
}
fn main() ![io, net] {
let config = load_config("app.toml");
print("Listening on " + config.host);
serve(handle, { port: config.port });
} Why Sailfin?
A language designed from the ground up for compile-time capability enforcement.
Effect Types
Every function declares what it can do — IO, network, clock, and more. The compiler checks effectful operations and catches capability violations before runtime.
Capability Security
Capsules declare required capabilities in their manifest. Direct use of effectful operations is checked at compile time, with full dependency-tree auditing on the roadmap.
Self-Hosted Compiler
Sailfin compiles itself via LLVM. A real native toolchain producing single-binary output — not an interpreter wrapper.
Pragmatic Ergonomics
Conventional TypeScript/Rust-like syntax, fast compilation, and clear error messages with fix-it hints. Easy for humans and LLMs alike.
Package Registry
Capsules — Sailfin's packages — are published to registry.sailfin.dev with full dependency resolution and capability auditing.
Structured Concurrency
Routines, channels, and scoped parallelism as first-class constructs with deterministic lifetime semantics. Coming in 1.0.
Built for
Capability-Controlled Services
The effect system guarantees that IO, network, and other capabilities are declared at compile time. Audit your entire service's capability surface before it reaches production.
Systems Programming
Native compilation via LLVM, single-binary output, and a self-hosted toolchain make Sailfin suitable for performance-critical infrastructure.
CLI Tools & Automation
Concise syntax, fast compilation, and single-binary output make Sailfin ideal for developer tooling and build systems.
Supply-Chain Security
Every capsule declares its capability requirements. Know exactly what your dependencies can do — no hidden network calls, no surprise file access.
Ready to dive in?
Install Sailfin and build your first program in minutes.