Principal type

Principal type

In Type theory, the Principal type of an expression is the most general possible type given an expression.

One way to compute the Principal type of an expression is by deploying Robinson's unification algorithm, which is used by Prolog.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Type inference — Type inference, or implicit typing, refers to the ability to deduce automatically the type of a value in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of but not limited to …   Wikipedia

  • Type 45 (Clase Daring) — El HMS Daring saliendo de la Base Naval de Portsmouth País productor …   Wikipedia Español

  • Type 59 — Un Type 59 au Musée militaire de Pékin. Production Production 1958 1980 Unités produites 9500 Caractéri …   Wikipédia en Français

  • Principal Feast — Principal Feasts are a type of observance in the Churches of the Anglican Communion. Along with Principal Holy Days, with which they share equal status, they are considered to be the most significant type of observance, the others being Festivals …   Wikipedia

  • Principal Holy Day (Church of England) — Principal Holy Days are a type of observance in the Church of England. Along with Principal Feasts, with which they share equal status while lacking a festal character, they are considered to be the most significant type of observance, the others …   Wikipedia

  • TYPE — Modèle qui détermine la forme d’une série d’êtres, lui même étant l’un de ces êtres (prototype, archétype); être qui présente la forme la plus caractéristique ou la plus parfaite d’une série (être «typique», «typé»; «typifier»: exagérer les… …   Encyclopédie Universelle

  • Type 81 assault rifle — Type 81 Type 81 I (top) and Type 81 (bottom). Type Assault rifle Place of origin …   Wikipedia

  • Type 69/79 — Un Type 69II (base des Marines de Quantico) Caractéristiques de service Conflits Guerre Iran Irak (1980 1988) Guerre du Golfe (1990 1991) Opération libérat …   Wikipédia en Français

  • Type de jeu video — Type de jeu vidéo Prince of Persia : les Deux Royaumes, un jeu mélangeant plates formes et combat. Un type de jeu vidéo désigne un ensemble de jeux vidéo caractérisé par un gameplay similaire. L absence de consensus sur la normalisati …   Wikipédia en Français

  • Type 96 — Caractéristiques générales Équipage 3 hommes : opérateur tourelle, pilote, chef de char Longueur 10,28 m Largeur 3,45 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”