Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Résine photosensibleLa résine photosensible (appelée aussi photorésine et parfois photorésist) est un matériau photosensible utilisé dans de nombreux procédés industriels, comme la photolithographie ou la photogravure, afin de former un revêtement protecteur ajouté à la surface d'un substrat.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
PhotolithographieLa photolithographie est l'ensemble des opérations permettant de transférer une image (généralement présente sur un masque) vers un substrat. Cette technique est très utilisée dans l'industrie du semi-conducteur. Les motifs de l'image ainsi transférée deviendront par la suite les différentes zones des composants électroniques (exemple : contact, drain...) ou les jonctions entre ces composants.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Lumièrevignette|Rayons de lumière sortant des nuages. Dans son sens le plus habituel, la lumière est le phénomène à l'origine d'une sensation visuelle. La physique montre qu'il s'agit d'ondes électromagnétiques. Le spectre visible est la zone du spectre électromagnétique à laquelle est sensible l'espèce humaine ; il inclut la longueur d'onde où l'éclairement énergétique solaire est maximal à la surface de la Terre, par un effet d'adaptation à l'environnement. Il s'étend autour d'une longueur d'onde de , plus ou moins un tiers.
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Amérique du NordL’Amérique du Nord est un continent à part entière ou un sous-continent de l'Amérique suivant le découpage adopté pour les continents. Elle est entourée par l'océan Pacifique à l'ouest, l'océan Arctique au nord et l'océan Atlantique à l'est. L'isthme de Panama la relie à l'Amérique du Sud. Les Caraïbes, souvent rattachées à l'Amérique du Nord, ferment le golfe du Mexique. vignette|Les présidents mexicain Enrique Peña Nieto et américain Barack Obama avec le Premier ministre du Canada Justin Trudeau, en 2016.
Disque optiquethumb|right|CD en vrac. Dans les domaines de l'informatique, de l'audio et de la vidéo, un disque optique, aussi appelé disque optique numérique ou DON, est un disque plat servant de support de stockage amovible. Un disque optique est habituellement constitué de polycarbonate. En informatique, les disques optiques sont utilisés comme mémoires de masse. La norme ISO 9660 définit le système de fichiers utilisé sur les CD-ROM et DVD-ROM. Les CD, les DVD et les Blu-ray sont les disques optiques les plus connus.
Chemin optiqueLe chemin optique est un outil de l'optique géométrique et ondulatoire. Dans un milieu homogène, le chemin optique entre deux points A et B est défini comme la distance AB parcourue par un rayon lumineux multipliée par l’indice de réfraction que le rayon a rencontré lors de son trajet. Cette grandeur a la dimension d'une distance, et plus précisément c'est la distance qu'aurait parcourue la lumière dans le vide pendant la durée qu'elle met à effectuer le trajet dans le milieu donné.
Lexical definitionThe lexical definition of a term, also known as the dictionary definition, is the definition closely matching the meaning of the term in common usage. As its other name implies, this is the sort of definition one is likely to find in the dictionary. A lexical definition is usually the type expected from a request for definition, and it is generally expected that such a definition will be stated as simply as possible in order to convey information to the widest audience.
Propagation des ondes radioLes ondes radioélectriques ou ondes hertziennes sont des ondes électromagnétiques qui se propagent de deux façons : dans l'espace libre (propagation rayonnée, autour de la Terre par exemple) dans des lignes (propagation guidée, dans un câble coaxial ou un guide d'ondes) Le domaine des fréquences des ondes radio s'étend de à . Pour la partie théorique, on se reportera à l'article Établissement de l'équation de propagation à partir des équations de Maxwell .
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Masque photographiqueA photomask is an opaque plate with transparent areas that allow light to shine through in a defined pattern. Photomasks are commonly used in photolithography for the production of integrated circuits (ICs or "chips") to produce a pattern on a thin wafer of material (usually silicon). Several masks are used in turn, each one reproducing a layer of the completed design, and together known as a mask set. For IC production in the 1960s and early 1970s, an opaque rubylith film laminated onto a transparent mylar sheet was used.
Amérique centraleL'Amérique centrale est une bande de terre reliant l'Amérique du Nord et l'Amérique du Sud. La différence entre les frontières géographiques et les frontières administratives, ainsi que l'histoire coloniale et les ressemblances et différences culturelles dans la région font varier la définition de l'Amérique centrale selon le contexte. Dans sa définition la plus commune, l'Amérique centrale comprend les pays suivants : border|20px le Guatemala (capitale : Guatemala). border|20px le Belize (capitale : Belmopan).
Amérique latinevignette|284px|Les langues dominantes en Amérique latine : en vert l'espagnol, en orange le portugais et en bleu le français.|alt= L’Amérique latine (en espagnol et en América Latina) est généralement définie comme la partie de l'Amérique dans laquelle les pays ont pour langue officielle des langues romanes, c'est-à-dire dérivées du latin (espagnol, portugais et français). L'Amérique latine englobe ainsi potentiellement l'Amérique hispanique, certaines îles des Caraïbes, ainsi que la quasi-totalité de l'Amérique du Sud et de l'Amérique centrale.
