ระบบ ชนิด ต่าง ๆ เป็น ส่วน ประกอบ หลัก ของ ภาษา ที่ ใช้ ใน การ เขียน โปรแกรม ซึ่ง กําหนด วิธี ที่ มี การ ใช้ และ ตรวจ สอบ ข้อมูล ใน โปรแกรม.
ชนิด และ ความ ปลอด ภัย ประเภท
พิมพ์ข้อมูลการจัดหมวดหมู่ เช่น จํานวนเต็ม, สตริง หรือวัตถุที่กําหนดเอง ความปลอดภัยแบบพิมพ์ เพื่อให้แน่ใจว่าปฏิบัติการจะดําเนินการได้โดยมีชนิดที่เข้ากันได้, ลดความผิดพลาดในการใช้งานเวลา การพิมพ์ภาษาตามระยะการเรียงตามระยะการรวมเข้ากับภาษา, ในขณะที่พิมพ์ภาษาที่พิมพ์อย่างไม่คงที่ ทําการตรวจสอบระหว่างดําเนินการ
ระบบแบบคงที่ vs. ไม่ตายตัว
ระบบระบุพิกัด จะต้องการหมายเหตุประกอบประเภทต่าง ๆ หรือประเภทการอนุมาน ก่อนที่จะประมวลผลโปรแกรม ซึ่งสามารถจับข้อผิดพลาดได้ก่อนและปรับแต่งประสิทธิภาพ ระบบปรับอัตโนมัติจะช่วยให้ตัวแปรมีความยืดหยุ่นมากขึ้น ทําให้ตัวแปรสามารถถือชนิดที่แตกต่างกันได้ในเวลาเดียวกัน ซึ่งอาจทําให้การถอดรหัสได้ง่ายขึ้น แต่อาจจะทําให้เกิดความผิดพลาดในการใช้งานทํางานได้
การ ไม่ แยแส และ การ สังเคราะห์ แสง
การประมาณประเภท อัตโนมัติ คือ การลดความจําเป็นต้องมีหมายเหตุ หมายเหตุโดยตรง การใช้โพลีมอร์เฟซจะช่วยให้การทํางานหรือโครงสร้างข้อมูล ทํางานได้หลายประเภท เพิ่มรหัสซ้ํา คุณสมบัติทั้งสองนี้พบบ่อยในภาษาสมัยใหม่ ที่ทําให้เกิดความปลอดภัยและความยืดหยุ่น
การ พิจารณา ที่ ใช้ ได้ จริง
- การลดการใช้งานสําหรับนักพัฒนา
- ผลกระทบของการทํางาน
- ความเข้ากันได้กับฐานรหัสที่มีอยู่
- การรองรับเครื่องมือและคอมไพล์