encoding processes. Some high-level preprocessors, such as OCaml's Camlp4, also involve encoding of a programming language into another.

Formally, an encoding of a language A into language B is a mapping of all terms of A into B. If there is a satisfactory encoding of A into B, B is considered at least as powerful (or at least as expressive) as A.

Properties

An informal notion of translation is not sufficient to help determine expressivity of languages,

1.Previous
3.Next