Bei der Softwareentwicklung mit typsicheren Programmiersprachen das bewusste Umwandeln eines Typen in den anderen.