Basically type inference is a deduc

Basically type inference is a deduction of what the type of a variable should be based upon the knowns that are given to it. And the typechecker can do inference based on the knowns of the annotations it does see as well as the current flow of the program.

Kết quả (Việt) 1:

Về cơ bản, loại suy luận là một khoản khấu trừ loại những gì của một biến phải được dựa trên knowns được cho nó. Và typechecker có thể làm suy luận dựa trên knowns các chú thích xem cũng như lưu lượng hiện tại của chương trình.

Kết quả (Việt) 2:

Về cơ bản kiểu suy luận là một trích của những gì các loại của một biến nên được dựa trên các knowns được trao cho nó. Và typechecker có thể làm suy luận dựa trên knowns của chú thích nó thấy cũng như dòng chảy hiện tại của chương trình.