Difference between revisions of "Namespace"
| Line 10: | Line 10: | ||
To see why sequential structures can be used to encode any information content, the best example would be using <math>\lambda-Calculus</math> to encode Boolean logic. Using the sequential relations of input elements, one can denote <code>TRUE</code> and <code>FALSE</code> with just two primitive functions,<code>FRONT(LIST(...))</code> and <code>BACK(LIST(...))</code>. For more detail, see the <math>\lambda-Calculus</math> tutorial<ref>{{:Video/Lambda Calculus - Computerphile}}</ref>. | To see why sequential structures can be used to encode any information content, the best example would be using <math>\lambda-Calculus</math> to encode Boolean logic. Using the sequential relations of input elements, one can denote <code>TRUE</code> and <code>FALSE</code> with just two primitive functions,<code>FRONT(LIST(...))</code> and <code>BACK(LIST(...))</code>. For more detail, see the <math>\lambda-Calculus</math> tutorial<ref>{{:Video/Lambda Calculus - Computerphile}}</ref>. | ||
===Implementation in MediaWiki=== | ===Implementation in MediaWiki=== | ||
Another important revelation is that all the above concepts can be realized in a MediaWiki, or a Browser-based Network Computing interface. | Another important revelation is that all the above concepts can be realized in a MediaWiki, or a Browser-based Network Computing interface. The dynamic behavior of every [[PKC]] page can be programmed with [[Lua]] if [[MW:Extension:Scribunto|Scribunto]] extension is installed. Moreover, [[HTML]] and [[CSS]] and [[JavaScript]] can be customized and perform computation on the client side. This infrastructure enables [[PKC]] to work as a highly extensible repository of executable knowledge. From a software engineering viewpoint, [[PKC]] can be considered as a fully programming environment to manage the compositional effects of many networked resources. | ||
<noinclude> | <noinclude> | ||
Revision as of 03:10, 6 August 2021
Namespace is a kind of resource, that can be considered as a symbolic space for representing any concepts, including the relational structures of spacetime. It is closely related to the field of software engineering, knowledge management, and number theory.
Namespace management
To manage namespaces in a methodical fashion, one can use namespace management techniques or tools, developed in the database or container orchestration industries. The reason that namespace must leverage database technologies and container orchestration, is due to the fact that there are simply too many data points or names to be processed, therefore, some scalable instrumentation must be employed.
Time as a Resource in Namespace
A powerful insight to manage namespace is to be aware of the fact that temporal sequence is naturally asymmetrical, meaning that ordered sequences each can represent a different information item. This is utilized extensively in the management of data content, especially in the area of blockchain, and in the design and implementation of stateful systems, such as distributed databases.
A Universal Namespace constructed by Lambda Calculus
To see why sequential structures can be used to encode any information content, the best example would be using to encode Boolean logic. Using the sequential relations of input elements, one can denote TRUE and FALSE with just two primitive functions,FRONT(LIST(...)) and BACK(LIST(...)). For more detail, see the tutorial[1].
Implementation in MediaWiki
Another important revelation is that all the above concepts can be realized in a MediaWiki, or a Browser-based Network Computing interface. The dynamic behavior of every PKC page can be programmed with Lua if Scribunto extension is installed. Moreover, HTML and CSS and JavaScript can be customized and perform computation on the client side. This infrastructure enables PKC to work as a highly extensible repository of executable knowledge. From a software engineering viewpoint, PKC can be considered as a fully programming environment to manage the compositional effects of many networked resources.
References
- ↑ Graham, Hutton (January 28, 2017). Lambda Calculus - Computerphile. local page: Computerphile.