สรุปว่าในทางปฏิบัติ Common Lisp ก็ทำ type check ตอน compile รวมถือสามารถ declare type ได้ และ compile ก็มีระบบ type inferenece รู้ type ได้เองจากค่าคงที่ หรือบาง function ไม่จำเป็นต้องประกาศทั้งหมด

นอกจากจะใช้หาจุดผิดแล้วก็ยังเป็นการเพิ่มประสิทธิภาพด้วย ลด type check ตอนรันทำให้ความเร็วเพิ่มขึ้น

ที่สำคัญคือ SBCL ทำได้มาหลายปีแล้ว อาจจะถึง 20 กว่าปี ถ้านับรวม ๆ CMUCL ด้วย ไม่ใช่ว่าเพิ่งมาทดลองทำ