Building homoiconicity from normalized models supporting typesafety, polymorphism, cross cutting concerns and efficient reflection.
Enabling the interplay of domain agnostic algorithms and domain specific algorithms.
Lifting up the normalization of operand and operation from the level of goedel-numbers to the level of goedel-types.
Establishing self-instrumentation beyond programming languages and machine processes.
Based on our paradigm we offer a distributed development and application platform with open source licensing.
Purifying the paradigm by desiging and implementing a programming language with the paradigm's principles as its first-class features.