Type inference là gì?

Suy luận kiểu (type inference) là sự suy diễn tự động các kiểu dữ liệu (data type) của các biểu thức (expression) cụ thể trong một ngôn ngữ lập trình (programming language), thường được thực hiện tại thời điểm biên dịch (compile time). Nó liên quan đến việc phân tích một chương trình và sau đó suy ra các kiểu dữ liệu khác nhau của một số hoặc tất cả các biểu thức trong chương trình đó để người lập trình không cần phải nhập và xác định rõ ràng các kiểu dữ liệu mỗi khi các biến (variable) được sử dụng trong chương trình.