Mục lục:
Định nghĩa - Kiểu suy luận có nghĩa là gì?
Kiểu suy luận là suy diễn tự động các kiểu dữ liệu của các biểu thức cụ thể trong ngôn ngữ lập trình, thường được thực hiện tại thời gian biên dịch. Nó liên quan đến việc phân tích một chương trình và sau đó suy ra các loại khác nhau của một số hoặc tất cả các biểu thức trong chương trình đó để lập trình viên không cần nhập và xác định rõ ràng các loại dữ liệu mỗi lần sử dụng biến trong chương trình.Techopedia giải thích suy luận kiểu
Kiểu suy luận thường là một tính năng biên dịch của các ngôn ngữ lập trình chức năng hơn là các ngôn ngữ hướng đối tượng. Trình biên dịch hoặc trình thông dịch chỉ cần thông tin tối thiểu cũng như ngữ cảnh để tìm ra kiểu dữ liệu của một biến hoặc biểu thức là gì.
Thuật toán suy luận cố gắng xác định các loại đối số cũng như loại giá trị trả về và sau đó nó cố gắng tìm loại dữ liệu cụ thể nhất hoạt động với tất cả các đối số. Để làm ví dụ cơ bản, hãy xem xét hàm Foo (a, b) = x + y; trình biên dịch biết rằng toán tử "+" có hai số nguyên và cũng trả về một số nguyên, vì vậy bây giờ trình biên dịch hoặc trình thông dịch có thể suy ra rằng Foo cũng có số nguyên kiểu.
