OCamlやScalaのような型推論を備える静的言語を使えば、多少の余計な記述だけで大体のシチュエーションでLispのマクロを使った場合と同程度の簡潔さでやりたい事を記述出来そうな気もしますが、実際の開発ではどうでしょう？
もちろん開発の対象によって違いがありそうですが。

Lispのマクロを使わないと実現が難しそうだったものってありますか？
たとえばIoCフレームワークのようなものをつくるばあいなどはどうでしょう。