Programming Language

Nocter

A self-contained systems language built around simplicity, encapsulation, and foolproof design.

Specification GitHub

use std/io

blocking func main(): i32! {
    io.print("Hello from Nocter\n")?
    return 0
}

func main(): i32 {
    let value = load_value() catch failure { fallback_for(failure.message()) }
    if value == 42 {
        return 0
    }
    return 1
}

func load_value(): i32! {
    return error.new("example.unavailable", "the primary value is unavailable")
}

func fallback_for(message: &str): i32 {
    return 42
}

use std/fmt.Format
use std/io

struct Point {
    x: i32
    y: i32
}

instance Point {
    impl Format
    method &self.try_format_into(output: &+String): void! {
        output.try_push_str("(")?
        self.x.try_format_into(output)?
        output.try_push_str(", ")?
        self.y.try_format_into(output)?
        output.try_push_str(")")?
        return
    }
}

blocking func main(): i32! {
    let point = Point { x: 3, y: 4 }
    let message = "point = ${point}\n"
    io.print(&message)?
    return 0
}

use std/io
use std/vec.Vec

struct Point {
    x: i32
    y: i32
}

instance Point {
    operator (&self == other: &Self): bool {
        return self.x == other.x && self.y == other.y
    }
}

blocking func main(): i32! {
    let first = Point { x: 3, y: 4 }
    let same = Point { x: 3, y: 4 }
    let other = Point { x: 5, y: 6 }
    if first != same || first == other {
        return 1
    }
    let points = Vec [move first, move other]
    if points[0] != same {
        return 1
    }
    var values = Vec [1, 2, 3]
    values[1] = 4
    if values[0] + values[1] + values[2] != 8 {
        return 1
    }
    io.print("equality found the point\n")?
    return 0
}

struct Buffer {
    values: [i32; 3]
}

instance Buffer {
    operator (&self[index: usize]): &i32 {
        return &self.values[index]
    }

    operator (&+self[index: usize]): &+i32 {
        return &+self.values[index]
    }
}

func at<C>(container: &C, index: usize): i32 where (&C[usize]): &i32 {
    return container[index]
}

func main(): i32 {
    var buffer = Buffer { values: [3, 4, 5] }
    buffer[1] = 9
    if at(&buffer, 1) != 9 {
        return 1
    }
    return 0
}

/std/fixed/README.md

Fixed-Capacity Collections

The compiler-checked fixed module contract is the sole authority for public signatures. This guide records the representation and failure guarantees that span those declarations.

FixedVec<T, N> stores up to N owned values directly inside the value. It requests no backing allocation and retains no allocator. Empty slots use optional storage so every slot remains initialized even when T is move-only. try_push returns the unchanged input value when full; capacity failure therefore neither loses ownership nor creates an error. Owning iteration yields initialized values in insertion order and drops any unconsumed values normally. An operation such as clear that destroys T does not promise noalloc, because that promise also covers the element destructor rather than only the collection's storage policy.

ByteBuffer<N> uses dense inline bytes for protocol and I/O staging. spare_mut exposes initialized but uncommitted capacity, and commit advances the observable prefix only after the caller has written it. A failed commit leaves the prefix unchanged. Its slice coercion and iterator expose only committed bytes.

Use these types when an explicit upper bound is part of the application contract or allocation is forbidden. Use Vec when input size is not naturally bounded or retaining a large maximum inline capacity would make every value unnecessarily large.