Metatype
Type unifying theorem

Unit principle

With no loss of generality, everything is information. For the sake of meta-unification, I embrace that metatype is information. Smallest amount of information is unit. Everything that exists, concerns not null amount of information. Everything is comparable, by amount of information it concerns.

Meta-philosophy

Metatype in the most common type object in the sense of the triple(f x y)<MT> = (input-information, transformation, output-information)()
Transformation is computation. Every computation, just as its' specification(code for example) holds type closure, over the metatype.
()Denotes auto-reference to this triple specification
Copy link
Edit on GitHub