diff options
Diffstat (limited to 'starts/meaning-vm/DESIGN.txt')
| -rw-r--r-- | starts/meaning-vm/DESIGN.txt | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/starts/meaning-vm/DESIGN.txt b/starts/meaning-vm/DESIGN.txt index 80e446f..295a7f2 100644 --- a/starts/meaning-vm/DESIGN.txt +++ b/starts/meaning-vm/DESIGN.txt @@ -32,6 +32,15 @@ Level-1 introduce the concept of groups, using the "is" link, and uses it to cat concepts that have an autogenerated name in the "anonymous" group. # LEVEL 2 -Level 2 will introdue syntax sugar for quickly instantiating conceptual relationships -using operators. This is handled by creating syntax expression concepts. +Whatever gets implemented next. Maybe expression operators, maybe structure promises, +maybe infrastructure for moving implementation onto ref code objects. +# FUTURE +## Relevence pattern matching + This is important and core. + This appears similar to graph structure matching, except that code creatively relevent to + the parts of the structure must be continually run so as to generate new information, + new structural parts. + At its simplest, this solves (A is not a dog), (A is a cat), (cats are never dogs), + with logical habits relevent to 'not', 'never', 'is', using one single matching interface, + but with more relevence could do more. |