Fitur beberapa bahasa pemrograman yang memerlukan jenis setiap item data yang dinyatakan, menghalangi penerapan operator untuk jenis data yang tidak pantas dan mencegah interaksi item data dari jenis yang tidak kompatibel.