| Object Oriented (henceforth OO) languages allow the programmer to add ease programming tasks, but limit the ability to combine and inline By restricting the language in a reasonable manner, as well as through additional in-language annotations, META4 allows the programmer to interact with the compiler in producing good code. META4 directly utilizes programmer provided hints. In other languages, these hints are difficult to discover without expensive analysis. In addition, META4 Programming Language has been designed to support partial evaluation through run time constant propagation.; The META4 programming model allows for the specialization of a type by extension as well as true specialization (or contraction). This allows for a more accurate modeling of mathematical entities, without requiring or impossible in other languages.; META4 is mutable. We introduce the concept of run time grammar extension, an elegant and powerful facility for custom-programming of new language semantics at the grammar level. In other words, the semantics and grammar of META4 can be extended or even modified at run time to solve specific problems.; The META4 Programming language combines the following: object oriented programming, first order reasoning capability that also includes reasoning about the change that the objects go through over time, efficient partial evaluation via run time propagation of specific values as well as explicit run time code generation, and a source code to machine code compiling engine—not an interpreter. The synergistic combination of these capabilities allows for expression of sophisticated computation not possible under existing single-language systems. |
