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(output: &+Writer, events: &[Event]): void! { for event in events { output.write(event.message().bytes())? output.write("\n".bytes())? } }

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

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 } }

slice.nct

//! Public observation methods for array slices.
//!
//! `[T]` is a compiler built-in unsized type. Its public behavior is ordinary
//! source built on the narrow representation query below.

use std/ptr.from_addr

pub(nocter) primitive slice_len_raw<T>(value: &[T]): usize
pub(nocter) primitive slice_ptr_addr_raw<T>(value: &[T]): usize

impl<T> [T] {
    pub method &self.len(): usize {
        return slice_len_raw(self)
    }

    pub method &self.is_empty(): bool {
        return slice_len_raw(self) == 0
    }

    pub method &self.ptr(): *T {
        return from_addr(slice_ptr_addr_raw(self))
    }
}