En chimie organique, une réaction de substitution nucléophile est une réaction de substitution au cours de laquelle un groupe nucléophile riche en électrons, noté Nu−, attaque une molécule électrophile ayant un site pauvre en électrons, et remplace un atome ou un groupe d'atomes, appelé groupe partant (noté GP), ou groupe nucléofuge. Les électrons libres (:) du nucléophile Nu− attaquent le substrat R-GP en formant une nouvelle liaison, et entraînant ainsi le départ du groupe partant GP.
In 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.