Un type en programmation précise l'ensemble des valeurs que peut prendre une variable; les opérations que l'on peut effectuer sur une variable dépendent de son type.
Usoro nke na-arụ ọrụ na ihe oyiyi nke usoro a na-atụle dịka ọ ga-adị na ụdị ụdị faịlụ ndị ọzọ; ihe niile na-adabere na arụmọrụ nke akụ na-eji, ọ pụkwara ịdị iche.