>>21
I don't think you can force types to Lisp without making it look awkward (see TR), and homoiconicity, types and metaprogramming don't play too well together.
I refuse to believe that this is true. Just because it doesn't exist, and everyone who has ever tried to do it has failed, doesn't mean it can't be done. It can! It must! I WANT TO BELIEVE