Datový typ definuje v
programování druh nebo význam hodnot, kterých smí nabývat
promenná (nebo
konstanta). Datový typ je urcen oborem hodnot a zároven výpocetními operacemi, které lze s hodnotami tohoto typu provádet (srovnej
abstraktní datový typ). Datový typ nemuže být urcen pouze oborem hodnot, protože existují i datové typy, lišící se pouze v operacích, které je s nimi možné provádet.