Type casting (computer programming)

Type, Type theory, Type system, Type inference, Type safety, Dependent type, Intuitionistic type theory, Value type and reference type, Data type, Type conversion, A type, Diamond type, L-type, Type A and Type B personality theory, Substructural type system, Type (biology), Movable type, Type family, Type IX submarine, J type, Type constructor, Type VII submarine, Toyota Type A engine, Type 0, Type class, Recursive data type, Type II submarine, Function type, E-Type, Type I and type II errors, Type 2, Media type, Primitive data type, Intersection type discipline, Honda Type R, P-type, Type 1 and type 2 sequence, Type M, R-Type, Type site, Principal type

Algebraic data type, Type locality, Type foundry, Composite data type, Homotopy type theory, Type X, S-Type, Type V, F-type, FBA Type A, Type D, Type 69 tank, Type–token distinction, Type 1, Bugatti Type 13, Duck typing, Refinement type, L-type asteroid, Type certificate, B type, Type S, Type XVII submarine, Taito Type X, Type physicalism, Intersection type, Type I submarine, Type II string theory, Type III, X-type, N type, Koren Type, Type-Moon, Type X submarine, Y-Type, Cadillac Type 51, S-type asteroid, Q-type, Type W, Type Archive, Type B submarine, Type C submarine, Type Z, Type II supernova, Type rating, R-Type Delta, Type 58 assault rifle, Nominal type system, Product type, Body Type, Type 22

Type, Type theory, Type system, Type inference, Type safety, Dependent type, Intuitionistic type theory, Value type and reference type, Data type, Type conversion, A type, Diamond type, L-type, Type A and Type B personality theory, Substructural type system, Type (biology), Movable type, Type family, Type IX submarine, J type, Type constructor, Type VII submarine, Toyota Type A engine, Type 0, Type class, Recursive data type, Type II submarine, Function type, E-Type, Type I and type II errors, Type 2, Media type, Primitive data type, Intersection type discipline, Honda Type R, P-type, Type 1 and type 2 sequence, Type M, R-Type, Type site, Principal type, Algebraic data type, Type locality, Type foundry, Composite data type, Homotopy type theory, Type X, S-Type, Type V, F-type, FBA Type A, Type D, Type 69 tank, Type–token distinction, Type 1, Bugatti Type 13, Duck typing, Refinement type, L-type asteroid, Type certificate, B type, Type S, Type XVII submarine, Taito Type X, Type physicalism, Intersection type, Type I submarine, Type II string theory, Type III, X-type, N type, Koren Type, Type-Moon, Type X submarine, Y-Type, Cadillac Type 51, S-type asteroid, Q-type, Type W, Type Archive, Type B submarine, Type C submarine, Type Z, Type II supernova, Type rating, R-Type Delta, Type 58 assault rifle, Nominal type system, Product type, Body Type, Type 22, Type 38 rifle, American Type Founders, Type 64 (tank), Type XXI submarine, Type 1 diabetes, Generalized algebraic data type, Strong and weak typing, P22 (type foundry), Type 062 gunboat, Type-in program, Personality type, Type 88, Bugatti Type 51, Movable Type, Type Ia supernova, T-type, Jaguar F-Type, Type 99 cannon, Run-time type information, Type 2 diabetes, Hindley–Milner type system, Type G, Type A submarine, Short Type 827, R-Type Final, R-Type II, Any type, Type 21, A-type proanthocyanidin, Type O Negative, Bugatti Type 35, Type 69 RPG, Type 037 corvette, NSA product types, Type Shit, Typing rule, R-Type Tactics, Jaguar E-Type, Type 80, Type I hypersensitivity, Enumerated type, Gun-type fission weapon, Type 17, Howa Type 89, Comparison of programming languages by type system, Type H, Type 93/Type 100 flamethrower, Empty type, Type species, Hiro Type 91, Blood type, Vickers Type 123, Type IV hypersensitivity, C-type lectin, Type IXB submarine, Type 99, Unit type, Type 72Z, Type Ib and Ic supernovae, Blood type personality theory