This project is dependent on
Names and Environments are datatypes
- implemented as Object-Oriented Classes
- with References possessing Type and Referential Integrity
- stored as Rows in Tables
- with Method Functions which realize generic Operator Functions
Names are unique symbols with short unique identifier-like names intended to be used to name things or attributes within an environment context.
Names are
- Referenced by name_refs
- Stored in table name_rows
| Function/Operator | Purpose |
|---|---|
| declare_name | Variadic function for ensuring names exist |
| ref_text_op | Convert object value to text |
Environments represent contexts for the evaluation of methods. During recursive evaluation of composite objects, e.g. document trees, a reference to the evaluation environment is passed along for the evaluation of all component objects.
Bindings and Associations in an environment should never be changed; however, because environments support inheritance, they can at any time be augmented by being used as the Base for a new environment whose Bindings and Associations will take precedence over the Bindings and Associations in the original environment.
Environments
- inherit from 0 or more Base Environments
- are associated with Name -> Value Bindings
- are associated with Object + Feature -> Value Associations
- can block inheritance of specific Bindings and Associations
| Function/Operator | Purpose |
|---|---|
| ref_text_op | Convert object value to text |
| env ^ name | Return binding of name in env |
| and more | read the code! :) |
All data structures in the Wicci System are expected to be either immutable or monotonic. Monotonic data structures consist of one or more rows in one or more tables. If the data structure permits, you may add rows to the value of an object, but you may not remove rows unless you entirely drop the object. You may only update null fields of the rows of monotonic objects.