We anticipate that an achieved Entrelacs system will demonstrate many outstanding native capabilities in comparison with a legacy computer system. To name a few:
Every piece of information is “relative-able”. That is, it can be stated relatively to a referential. More specifically, the relation between a fact and its referential can itself been comprehended relatively to a meta-referential (abstraction).
All in all, there is only one absolute referential of valid relations.
<More …>
Information deduping is transparent and performed at system level. Each piece of information is present only once in the whole system. This representation is literally a mapping of the corresponding pure concept of information.
Information is self-indexed and fully connected. One can retrieve in a efficient way (O(n)?) all the knowledge related to some given information.
Information may be mostly stored in persistent data structuresW.
Information persistence may be easily orthogonalW.
Memory management may be transparent as well. Data caching (in high memory levels) and garbage collectionW may be transparent and full-scope system process.
MemoizationW may be easily made orthogonal. It could take the form of an automated process performed by the system, everytime, everywhere.
Any computation process may be easily virtualizedW, that is performed in a relative environment. It makes a top-down security scheme easily feasible.
Because of these anticipated capabilities (also listed in this page), we consider the Entrelacs paradigm as the missing link up to a much clever generation of computers. Most data computing disciplines will get major benefits by transposing their works into Entrelacs systems. For example:
We acknowledge that most systems may benefit from natively managing complex objects like raw data and tuples in addition to regular arrows. We consider such pragmatic systems to be still considered as Entrelacs systems as long as they manage such exotic objects in the same way as their arrows made equivalent constructs, especially in terms of uniqueness, immutability, and connectivity. <more …>