Programming Language

Nocter

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

Documentation GitHub

use std/io.print

func greet(user: User): void! {
    let name = user.display.name() otherwise { "guest" }

    let tone = match user.presence {
        Presence.online { "hello" }
        Presence.away { "welcome back" }
    }

    print("${tone}, ${name}\n")?
}

interface Writer {
    pub method &+self.write(bytes: &[u8]): void!
}

func save_log<W>(output: &+W, events: &[Event]): void! where W: Writer {
    for event in events {
        output.write(event.message().bytes())?
        output.write("\n".bytes())?
    }
}

pub struct Session {
    id: SessionId
    user: User
    expires_at: Time
}

construct Session {
    pub default func start(user: User, clock: &Clock): Self {
        return Self {
            id: SessionId.new(),
            user: move user,
            expires_at: clock.now().plus_minutes(30),
        }
    }
}

func consume(values: Vec<String>): void! {
    for value in move values {
        print(&value as &str)?
    }
}

construct NonEmptyList<T> {
    pub default literal [](...items: T): Self from items {
        var list = Self.new()

        for item in items {
            list.push(move item)
        }

        return move list
    }
}

/development/std/internal/os/primitives.nct

primitives.nct

//! Target-owned system primitives without current cross-module callers.

include ./index.nct

#target: "arm64-darwin"
primitive syscall0(number: usize): SyscallResult

#target: "arm64-darwin"
primitive syscall4(
    number: usize,
    a0: usize,
    a1: usize,
    a2: usize,
    a3: usize,
): SyscallResult

#target: "arm64-darwin"
primitive syscall5(
    number: usize,
    a0: usize,
    a1: usize,
    a2: usize,
    a3: usize,
    a4: usize,
): SyscallResult

#target: "arm64-darwin"
primitive unreachable(): never