Khác biệt giữa bản sửa đổi của “Kiểu mạnh và kiểu yếu”

Một số ngôn ngữ lập trình không kiểm tra kiểu tĩnh. Bằng nhữnhững ngôn ngữ đó, ta có thể dễ dàng viết các chương trình "khác thường" mà thủ tục kiểm tra kiểu tĩnh thông thường sẽ ngăn chặn. Ví dụ: một biến có thể lưu giá trị số lẫn logic "sai". Một số lập trình viên coi các ngôn ngữ này là "kiểu yếu", vì chúng ''có vẻ như'' không thi hành các biện pháp để đảm bảo tính nghiêm ngặt về kiểu có trong các ngôn ngữ có thủ tục kiểm tra kiểu tĩnh.