The C3 Programming Language

import std::io;

faultdef DIVISION_BY_ZERO;

fn int? divide_int(int x, int y)
{
    if (!y) return DIVISION_BY_ZERO~;
    return x / y;
}

fn void main()
{
    int a = 4;
    int b = 0;
    int? x = divide_int(a, b);
    // int y = x * 2 this would be an error here

    if (catch err = x)
    {
        // Running if b == 0
        io::printfn("Had error: '%s'.", err);
        return;
    }
    // x is a normal "int" now,
    // so this works:
    int y = x * 2;
}

macro print_fields($Type)
{
    $foreach $field : $Type::members:
        io::printfn("Field %s, offset: %s, size: %s",
                $field::name, $field::offset, $field::size);
    $endforeach
}

fn void main() { print_fields(Foo); }

struct Stack <Type>
{
    usz capacity;
    usz size;
    Type* elems;
}

fn void Stack.push(Stack* this, Type element)
{
    // ... implementation
    this.elems[this.size++] = element;
}

import std::io;

alias MyInt = int;
typedef MyId = int;

fn void main()
{
    MyInt x = 27;
    MyId y = 3;
    int a = x;
    // int b = y; <- This doesn't work

    // Explicit conversion works
    x += (int)y;

    io::printfn("%s %s", y, x);
}