Types

Rura has both plain scalar types and memory-managed objects. The overall idea is to keep a similar design as Rust.

Rura types are always defined with Clone trait.

Scalar types

We use the same notion () for unit type as Rust.

We use the same notion ! for bottom type (never type) as Rust. This represents the function never returns (i.e. it panics or exits).

A Tuple is of the form (A, B, C, D, ...) where A, B, C, D, ... are other admissible types. Tuples are stored and passed without boxing.

enum Foo<T> {
    Bar,
    Baz(u64, Foo<T>),
    Qux(usize, T)
}

Current design is to directly use foreign wrappers. Details are to be decided.