Khai báo** dynamic type** của một biến trong Go là gì?

Trong ngôn ngữ lập trình Go, khai báo kiểu động của một biến liên quan đến việc sử dụng các biến kiểu interface. Một biến có kiểu tĩnh (static type) được xác định bởi khai báo của nó. Đối với các biến kiểu interface, chúng còn có một kiểu động (dynamic type) riêng, đó là kiểu thực tế của giá trị được lưu trữ trong biến tại thời điểm chạy (runtime). Kiểu động có thể thay đổi trong quá trình thực thi nhưng luôn có thể gán được cho kiểu tĩnh của biến kiểu interface. Đối với các kiểu không phải interface, kiểu động luôn luôn là kiểu tĩnh.

Ví ...