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.
Bounded quantificationIn type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied in the functional setting of System F
Objective-CObjective-C est un langage de programmation orienté objet réflexif. C'est une extension du C ANSI, comme le C++, mais qui se distingue de ce dernier par sa distribution dynamique des messages, son typage faible ou fort, son typage dynamique et son chargement dynamique. Contrairement au C++, il ne permet pas l'héritage multiple mais il existe toutefois des moyens de combiner les avantages de C++ et d'Objective-C.
English determinersEnglish determiners (also known as determinatives) are words – such as the, a, each, some, which, this, and six – that are most commonly used with nouns to specify their referents. The determiners form a closed in English. The syntactic role characteristically performed by determiners is known as the determinative function (see ). A determinative combines with a noun (or, more formally, a nominal; see ) to form a noun phrase (NP). This function typically comes before any modifiers in the NP (e.g.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Nature (grammaire)En grammaire, la nature d'un mot regroupe un ensemble d'emplois linguistiques apparentés, permettant des substitutions de nature syntaxique. On peut dire également catégorie grammaticale (Lucien Tesnière) ou lexicale (Charles Bally), classe grammaticale (Jean Dubois), espèce grammaticale (Georges Galichet), ou encore partie du discours en grammaire traditionnelle. La nature d'un mot peut être un trait grammatical intrinsèque de ce mot.
Russian grammarRussian grammar employs an Indo-European inflexional structure, with considerable adaptation. Russian has a highly inflectional morphology, particularly in nominals (nouns, pronouns, adjectives and numerals). Russian literary syntax is a combination of a Church Slavonic heritage, a variety of loaned and adopted constructs, and a standardized vernacular foundation. The spoken language has been influenced by the literary one, with some additional characteristic forms.
AdverbeEn grammaire, l’adverbe est défini traditionnellement comme une partie du discours dont la fonction syntaxique est de complément, le plus souvent d’un verbe ou, plus rarement, d’un adjectif ou d’un autre adverbe. Dans certaines langues, comme le français ou le roumain, les adverbes sont invariables, ne prenant donc pas d’affixes, sauf quelques exceptions. Dans d’autres langues, comme certaines langues slaves, par exemple le BCMS, les adverbes sont partiellement affixables, c’est-à-dire ceux qui peuvent avoir des degrés de comparaison expriment ceux-ci par des affixes.
ParticipeEn grammaire, le participe est un mode du verbe qui lui donne les caractéristiques d'un adjectif. De ce fait, il « participe » à la fois d'une nature verbale et d'une nature de qualificatif. Dans les langues flexionnelles, il ne se conjugue pas mais peut se fléchir comme un adjectif, d'autant plus quand il accompagne un nom, avec lequel il peut s'accorder. En français, le participe passé s'accorde orthographiquement (par exemple chanté, -ée ; -és, -ées = « qui est chanté, -ée ; qui sont chantés, -ées ») mais pas le participe présent (chantant = qui chante).
Postpositive adjectiveA postpositive adjective or postnominal adjective is an adjective that is placed after the noun or pronoun that it modifies, as in noun phrases such as attorney general, queen regnant, or all matters financial. This contrasts with prepositive adjectives, which come before the noun or pronoun, as in noun phrases such as red rose, lucky contestant, or busy bees. In some languages (Spanish, Welsh, Indonesian, etc.), the postpositive placement of adjectives is the normal syntax, but in English it is largely confined to archaic and poetic uses (e.
