Static

A computer language is a static object, as are all such published utilities.

Note that being static is also a relative term, that partial evaluation takes advantage of conceptually. Information which is often only dynamically-knowable can be treated like statically-knowable information in order to build a specialized/optimized version of an object. Conversely, statically-knowable information can be accessed and made dynamic via reflective modification.

Programming languages are often said to be statically-typed if they have a non-trivial type system which must be satisfied without dynamic run-time information in order to be allowed to execute (satisfying an often poor proof).

This page is linked from: Communism   Dynamism   KnowOS   Monopoly   Security   Statism   Supercompilation   Tradition   Type System   User Rights