14
Khi nào kiểm tra loại OK?
Giả sử một ngôn ngữ với một số loại an toàn vốn có (ví dụ: không phải JavaScript): Đưa ra một phương thức chấp nhận a SuperType, chúng tôi biết rằng trong hầu hết các trường hợp, trong đó chúng tôi có thể bị cám dỗ thực hiện kiểm tra …
53
type-systems