A representation of types, type-checker, and compiler are provided for
checking consistency in various forms of an intermediate language.
Type-checking a programming language in a compiler is accomplished by
taking one or more rule sets as input to a type-checker, which selects
one or more of the rule sets based upon any one, or combination of two or
more, of numerous criteria. Among them are stage of compilation, source
language, architecture, and level of typing present in the language being
type-checked. The language is then type-checked using the selected one or
more rule sets. The rule sets can include one rule set corresponding to
strong type-checking, one rule set corresponding to weak type-checking,
and one rule set corresponding to representation type-checking. In the
alternative, a compiler can be provided with a type-checker that
constructs the one or more sets of rules at runtime from a larger set of
rules based on any one, or combination of two or more, of the previously
mentioned criteria.
Une représentation des types, le type-contrôleur, et le compilateur sont donnés pour vérifier l'uniformité dans diverses formes d'une langue intermédiaire. la Type-vérification d'un langage de programmation dans un compilateur est accomplie en prenant à un ou plusieurs des ensembles de règle comme entrée à un type-contrôleur, qui choisit un ou plusieurs des ensembles de règle basés sur des n'importe quels, ou à la combinaison de deux ou plus, de nombreux critères. Parmi eux sont l'étape de la compilation, la langue source, l'architecture, et de niveau de la dactylographie actuelle dans la langue type-étant vérifiée. La langue type-est alors vérifiée en utilisant l'un ou plusieurs choisi pour régner des ensembles. Les ensembles de règle peuvent inclure un ensemble de règle correspondant à la type-vérification forte, un ensemble de règle correspondant à la type-vérification faible, et un ensemble de règle correspondant à la type-vérification de représentation. Dans l'alternative, un compilateur peut être équipé de type-contrôleur qui construit celui ou plus des ensembles de règles au temps d'exécution d'un plus grand ensemble de règles basées sur des n'importe quelles, ou de combinaison de deux ou plus, des critères précédemment mentionnés.
