Plange


a non-polymorphic abstraction for manipulating values as first class object

Outline

Value := type {
    <List<Relation>> typeConstraints;
    <Maybe<Type*>> T;
    <List<Relation>> constraints;
    <Maybe<Pointer<Any>>> value;
}
            

See: box (keyword)


This website does not use cookies or javascript, excluding the Google search bar and Google analytics.
copyright © Brent Lewis 2013-2018