Nice post. I studied with this notation too but I was not clever enough to connect it to my programming.

This is a good example of a situation where something like lisp's macro system would be very useful. But I don't understand what the author means by

On the other end of the spectrum, lisp is designed for its upper layer elegance. Its macros are structured all the way to the top. However, to achieve that, it limits its lower level representations. In fact, it takes work-around for simple switches and loops.

What's the work-around? Common Lisp and Clojure have built in conditionals and loops.