การพิมพ์แฝง
| ระบบประเภท |
|---|
| แนวคิดทั่วไป |
| หมวดหมู่หลัก |
|
| หมวดหมู่ย่อย |
ในการเขียนโปรแกรมคอมพิวเตอร์การกำหนดประเภทแฝงหมายถึงระบบประเภทที่ประเภทจะเชื่อมโยงกับค่าไม่ใช่ตัวแปร[ 1 ]ตัวอย่างของภาษาที่มีการกำหนดประเภทแฝงคือScheme ซึ่งโดยทั่วไปแล้วจะต้องมีการตรวจสอบประเภทในขณะรันไทม์ ดังนั้นจึงมักใช้เป็นคำพ้องความหมายกับการกำหนดประเภทแบบไดนามิก[ 2 ]