solution

Xét các hàm generic đơn giản chỉ có một biến kiểu hình thức $T$. Khuôn tham số của hàm là một dãy $k$ token, mỗi token thuộc một trong ba loại:

• Kiểu cụ thể cố định: int, float, bool, string.
• Token T: đại diện biến kiểu, đối số tại vị trí này có thể là bất kỳ kiểu cơ sở nào trong $\{$int,float,bool,string$\}$, và ràng buộc $T$ bằng đúng kiểu đó.
• Token T[]: đối số tại vị trí này bắt buộc có dạng mảng của một kiểu cơ sở $X$ (viết X[], ví dụ int[]), và ràng buộc $T = X$.

Cho một lời gọi với $p$ kiểu đối số thực tế (đối số có thể là kiểu cơ sở hoặc kiểu mảng dạng X[]). Việc suy diễn không dùng bất kỳ luật ép kiểu nào — mọi vị trí phải khớp tuyệt đối theo mô tả trên. Tất cả các ràng buộc $T = X$ xuất hiện (nếu có) phải cho ra cùng một $X$, nếu không sẽ mâu thuẫn.

Kết quả:

• Nếu $p \ne k$, hoặc có vị trí không khớp, hoặc các ràng buộc $T$ mâu thuẫn nhau: in ERROR.
• Nếu khớp toàn bộ nhưng $T$ không xuất hiện ở vị trí nào (không có ràng buộc): in OK.
• Nếu khớp toàn bộ và $T$ được suy ra duy nhất: in kiểu đó (int, float, bool hoặc string).