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.
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.
Acide aminé protéinogènevignette|Structure de la , parfois considérée comme un aminé protéinogène bien qu'elle ait une chaîne latérale identique à celle de la méthionine. Elle amorce la biosynthèse des protéines chez les procaryotes et dans les mitochondries et les chloroplastes des eucaryotes, mais pas dans le cytosol de ces derniers. Elle dérive de la méthionine par adjonction d'un groupe aldéhyde sur l'atome d'azote de l'amine primaire Un acide aminé protéinogène est un acide aminé incorporé dans les protéines lors de la traduction de l'ARN messager par les ribosomes.
Acide aspartiqueL’acide aspartique (abréviations IUPAC-IUBMB : Asp et D), est un acide dont l'énantiomère L est l'un des aminés protéinogènes, encodé sur les ARN messagers par les codons GAU et GAC. Il est caractérisé par la présence d'un groupe carboxyle –COOH à l'extrémité de sa chaîne latérale, lui conférant un point isoélectrique de 2,77, ce qui en fait le résidu le plus acide dans les protéines. Son anion et base conjuguée est l'aspartate et son rayon de van der Waals vaut . Il s'agit d'un acide dicarboxylique, et donc d'une molécule polaire.
Acide glutamiqueL'acide glutamique (abréviations IUPAC-IUBMB : Glu et E), ou glutamate sous la forme anionique de l'acide glutamique, est un acide dont l'énantiomère L est l'un des aminés protéinogènes, encodé sur les ARN messagers par les codons GAA et GAG. Il est caractérisé par la présence d'un groupe carboxyle –COOH à l'extrémité de sa chaîne latérale, ce qui en fait un résidu acide chargé négativement dans les protéines. Son rayon de van der Waals vaut .
Liaison ioniqueUne liaison ionique (ou liaison électrovalente) est un type de liaison chimique qui peut être formé par une paire d'atomes possédant une grande différence d'électronégativité (par convention, supérieure à 1,7) typiquement entre un non-métal et un métal. Le métal donne un ou plusieurs électrons pour former un ion chargé positivement (cation). Le non-métal capte ces électrons pour former un ion chargé négativement (anion). Les deux ions formés possèdent fréquemment une configuration électronique de gaz rare (ils respectent la règle de l'octet ou la règle du duet).
Force intermoléculaireLes forces intermoléculaires sont des forces de nature essentiellement électrostatique induisant une attraction ou une répulsion entre des particules chimiques (atomes, molécules ou ions). Ces forces sont en général bien plus faibles que les forces intramoléculaires qui assurent l'association des atomes dans les molécules.
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.
Acide aminévignette|Structure générique d'un acide , classe d'acides aminés majeure en biochimie entrant notamment dans la constitution des protéines. La chaîne latérale est ici représentée par le symbole R en magenta, tandis que le est orangé. vignette| Structure et classification des aminés protéinogènes des eucaryotes. La pyrrolysine n'y figure pas car on ne la trouve que chez certaines archées méthanogènes. vignette|Structure de la gabapentine.
