I don't really see it. A similar approach in any imperative or functional language would read pretty much exactly the same. Except that with static types, you'

I don't really see it. A similar approach in any imperative or functional language would read pretty much exactly the same. Except that with static types, you'd gain a lot of clarity, efficiency, and future maintenance, one of the downfalls of Lisp.