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.
Fichier informatiquethumb|Pictogrammes représentant des fichiers. Un fichier informatique est au sens commun, une collection, un ensemble de données numériques réunies sous un même nom, enregistrées sur un support de stockage permanent, appelé mémoire de masse, tel qu'un disque dur, un cédérom, une mémoire flash ou une bande magnétique, une série de cartes perforées et manipulées comme une unité. Techniquement un fichier est une information numérique constituée d'une séquence d'octets, c'est-à-dire d'une séquence de nombres, permettant des usages divers.
H muetLe h muet est une forme d'emploi dans la langue française de la lettre h, opposée au h aspiré. À l'oral, un h muet n'a aucune incidence sur la prononciation, et par conséquent, lorsqu'un mot commence par un h muet, on effectue la liaison et l'élision avec le mot précédent. Ainsi, l'heure se prononce comme l'Eure. Dans les autres langues romanes occidentales, le h est toujours muet, mais dans les langues romanes orientales il est prononcé. Prononciation du français H aspiré Les esprits dans le grec ancien C
Gestionnaire de fichiersUn gestionnaire de fichiers présente les fichiers informatiques situés sur une ou plusieurs machines, affiche des informations sur eux (nom, taille, aperçu...), permet de trier leur présentation et d'effectuer sur eux quelques opérations, individuellement ou en les groupant. Il permet aussi la création et la suppression de fichiers et de répertoires Travaillant le plus souvent dans une interface graphique, il permet aussi ouverture, visualisation, impression, renommage, déplacement ou copie, la suppression, affichage et modification de propriétés et recherche de fichiers.
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.
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.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Anglais britanniqueL'expression « anglais britannique » (en anglais : British English) est employée de façon plus ou moins précise pour différencier les variétés de la langue anglaise employées au Royaume-Uni des autres variétés de l'anglais à travers le monde. Ce terme comprend toutes les variétés présentes au Royaume-Uni, c'est-à-dire en Angleterre, en Écosse, en Irlande du Nord et au Pays de Galles. Parfois, le terme est employé de façon plus large par certaines personnes qui comptent également la République d'Irlande.
Fichier texteEn informatique, un fichier texte ou fichier texte brut ou fichier texte simple est un fichier dont le contenu représente uniquement une suite de caractères ; il utilise nécessairement une forme particulière de codage des caractères qui peut être une variante ou une extension du standard local des États-Unis, l'ASCII. Il n'existe aucune définition officielle, et les différentes interprétations de ce qu'est un fichier texte partagent des propriétés essentielles.
Moyen anglaisLe « moyen anglais » est le nom donné par les linguistes aux différentes formes de la langue anglaise entre la conquête normande de l'Angleterre (1066) et la seconde moitié du , lorsque la norme de la Chancellerie, l'anglais parlé à Londres, devint la référence pour tout le royaume. LOxford English Dictionary définit la période durant laquelle le moyen anglais était parlé de 1150 à 1500. À la même époque, le dialecte de Northumbrie, parlé dans le sud-est de l'Écosse, évoluait pour donner naissance au scots.
