Paradigm
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. Offering
Based on our paradigm we offer a distributed development and application platform with
open source licensing.
Vision
Purifying the paradigm by desiging and implementing a programming language with
the paradigm's principles as its first-class features.
|