Static Type Checking in Common Lisp
I hereby inaugurate Ron&#x27;s third law: for any perceived shortcoming of Common Lisp you can write a macro that fixes it for less effort than it takes to complain about it.