Enum Type 

pub enum Type {
    Int,
    Float,
    Bool,
    String,
    Symbol,
    Channel,
    Quotation(Box<Effect>),
    Closure {
        effect: Box<Effect>,
        captures: Vec<Type>,
    },
    Union(String),
    Var(String),
}

Base types in the language

Variants

Int

Integer type

Float

Floating-point type (IEEE 754 double precision)

Bool

Boolean type

String

String type

Symbol

Symbol type (interned identifier for dynamic variant construction) Syntax: :foo, :some-name

Channel

Channel type (for CSP-style concurrency) Channels are reference-counted handles - dup increments refcount

Quotation(Box<Effect>)

Quotation type (stateless code block with stack effect) Example: [ Int – Int ] is a quotation that takes Int and produces Int No captured values - backward compatible with existing quotations

Closure

Closure type (quotation with captured environment) Example: Closure { effect: [Int -- Int], captures: [Int] } A closure that captures one Int and takes another Int to produce Int

Fields

effect: Box<Effect>

Stack effect when the closure is called

captures: Vec<Type>

Types of values captured from the creation site Ordered top-down: captures[0] is top of stack at creation

Union(String)

Union type - references a union definition by name Example: Message in union Message { Get { ... } Increment { ... } } The full definition is looked up in the type environment

Var(String)

Type variable (for polymorphism) Example: T in ( ..a T – ..a T T )

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Type

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Type

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Type

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Type

fn eq(&self, other: &Type) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Type

impl StructuralPartialEq for Type