class Animal {
fn Constructor(n: string) { this.name = n; }
fn Speak() { Console.WriteLine(this.name, " makes a sound."); }
}
class Dog : Animal {
fn Constructor(n: string) { this.name = n; }
fn Speak() { Console.WriteLine(this.name, " barks."); }
}
fn Main() {
let d: instance = new Dog("Rex");
d.Speak(); // Rex barks.
return;
}
fn async fetch(id: int): int {
Fiber.Sleep(id * 10);
return id * id;
}
fn async Main() {
// Spawn three fibers - they run cooperatively
let a: fiber = fetch(3);
let b: fiber = fetch(1);
let c: fiber = fetch(2);
// await collects each result
Console.WriteLine(await a, await b, await c); // 9 1 4
return;
}
import { Http } from library("Http", "1.0");
fn Main() {
// Simple HTTP GET
let resp = Http.Get("http://httpbin.org/json");
Console.WriteLine("status: ", resp.status);
let data = Json.Parse(resp.body);
Console.WriteLine(data.slideshow.title);
// POST with JSON body
let payload = Json.Stringify({ name: "Flaris", version: 1 });
let post = Http.Post("http://httpbin.org/post", payload,
{ "Content-Type": "application/json" });
Console.WriteLine("posted, status: ", post.status);
return;
}
fn divide(a: int, b: int): int {
if (b == 0) throw(1, "division by zero");
return a / b;
}
fn Main() {
try {
Console.WriteLine(divide(100, 10)); // 10
Console.WriteLine(divide(100, 0)); // throws
} catch (e) {
Console.WriteLine("caught: ", e.Error);
} finally {
Console.WriteLine("cleanup");
}
// Null coalescing
let raw: string|nil = nil;
let val: string|nil = raw ?? "default";
Console.WriteLine(val); // default
return;
}
// Tight numeric loops can compile to native ARM64 at runtime.
// Mark the function with 'fn hot' and run with -j:
// flarisvm -j compute.fls
fn hot sum(n: int): int {
var s: int = 0;
for (var i: int = 0; i < n; i++) {
s = s + i;
}
return s;
}
fn Main() {
Console.WriteLine(sum(1000)); // 499500
return;
}
// Measured over 10 000 calls on Apple M-series:
// interpreter 1502 ms
// JIT 8 ms - ~180× faster
//
// The compiler analyzes type annotations to decide eligibility.
// Only pure integer/float math with typed locals qualifies.
// Everything else falls back to the interpreter transparently.
// Run: flarisvm --check app.fls
// The static analyzer runs 9 passes and reports early:
fn Main() {
let x: int = "hello"; // ← error: type mismatch
let y: int = 42;
return;
Console.WriteLine("unreachable"); // ← warning: dead code
}
// app.fls:4:24: 1000: Type mismatch for 'x' (expected compatible with declared type).
// app.fls:8:35: 2006: Unreachable code.
