Edsger Wybe Dijkstra, a pioneer in the field of formal verification and specification, concurrency theory, and operating systems design, whose most famous work is a greedy one, once said: Lisp has jokingly been called the most intelligent way to misuse a computer.