[mahmud]

I don't think you understand either ML or Lisp. SML would never make whitespace significant because: 1) that's a brain-dead choice, and 2) ML, much like Lisp, is used as a language, as a notation, and as a "kernel" language.

Clojure without dynamic-typing is bath-water without baby. What is the point of interactivity, homoiconicity and macros if the language is statically typed?

[dllthomas]

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

If the type system can handle it? MAGIC!

[hencq]

Is there any specific reason why macros can't work in a statically typed language? How does Typed Racket handle this. Or does it not have macros?

[heretohelp]

Typed Racket is more like type annotations with a checking routine than anything, if you're writing a macro you want generality.

You achieve this by omitting the type annotation and reverting to normal Racket.

You can do macros in a statically typed language, but it would (and does) get ugly fast.

[swah]

Why do you say "whitespace is a brain-dead choice" ?