The above example showed a case whe

The above example showed a case where a variable was assigned to an int in both branches of the if/else. This makes it easy for the typechecker to determine that a variable can and only will be an int when it encounters the return.

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

Ví dụ trên cho thấy một trường hợp nơi một biến được gán cho một int trong cả hai chi nhánh của các nếu/khác. Điều này làm cho nó dễ dàng cho typechecker để xác định rằng một biến thể và duy nhất sẽ là một int, khi nó gặp sự quay trở lại.

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

Ví dụ trên cho thấy một trường hợp một biến đã được gán cho một int trong cả hai chi nhánh của if / else. Điều này làm cho nó dễ dàng cho các typechecker để xác định rằng một thể thay đổi và sẽ chỉ được một int khi nó gặp sự trở lại.