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.
Longueur de liaisonEn géométrie moléculaire, la longueur de liaison est la distance moyenne entre les noyaux de deux atomes liés par une liaison chimique. Cette longueur est directement liée à l'ordre de liaison : toutes choses égales par ailleurs, plus le nombre d'électrons participant à la formation d'une liaison est grand, plus celle-ci sera courte. Ainsi, la liaison C=O des cétones est-elle plus courte que la liaison C-O des alcools.
État de transitionUn état de transition est, dans une réaction chimique, une configuration particulière le long d'une coordonnée de réaction. Il est défini comme un état correspondant à une énergie maximale le long de cette coordonnée. En ce point, si l'on postule une réaction parfaitement irréversible, les espèces réagissant iront toujours vers la formation des produits. Bien que cette notion soit extensible à toute réaction ou transition physico-chimique, elle est utilisée essentiellement en chimie moléculaire.
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.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.