[dllthomas]

> What is the point of interactivity, homoiconicity and macros if the language is statically typed?

If the type system can handle it? MAGIC!