ระบบชนิดข้อมูล

ระบบชนิดตัวแปร ในวิทยาการคอมพิวเตอร์ กำหนดว่าในภาษาโปรแกรมแบ่งค่าและตัวแปรออกเป็นชนิดอย่างไร ภาษาโปรแกรมจัดการกับตัวแปรและค่าชนิดต่างๆ อย่างไร และตัวแปรและค่าแต่ละชนิดสัมพันธ์กันอย่างไร ชนิดบ่งบอกกลุ่มของค่าที่มีชนิดเหมือนกันและมีจุดประสงค์ในการนำไปใช้เหมือนกัน

ชนิดข้อมูล
 
การวิเคราะห์โปรแกรม
ทฤษฎีแบบชนิด