Xưa, thiết kế ngôn ngữ lập trình là một cái gì đó cảm giác… rất cao siêu! Đó không chỉ là một tập từ vựng và cú pháp, mà còn là các ngữ nghĩa chặt chẽ muốn diễn đạt bên dưới. Lịch sử cho thấy có không ít cú pháp ngôn ngữ theo kiểu… lảm nhảm, những người nói ra những câu mà thực chất không tự hiểu được mình đang nói cái gì!
Những loại đó trong lịch sử Khoa học máy tính không phải ít! Những vấn đề “self integrity” chính là thể hiện rất rõ ràng, sự không thấu hiểu và thiếu nhất quán bên trong một con người. Thế rồi, đến một ngày, tự mình cũng đi thiết kế ngôn ngữ, một ngôn ngữ đơn giản, không Turing-complete như các hệ quả của định lý Rice đã mô tả!