Clojureに衛生的なマクロがないことから生じる実際的な問題は何ですか？

Clojureマクロは簡単に記述できますが、ラケットの衛生的なマクロほど信頼性が低いと聞きました。私の質問には2つの部分があります。

1. gensym衛生マクロとどう違うのですか？
2. ラケットマクロは、Clojureにはないものを何を提供しますか？（安全性、構成可能性など）

衛生的なマクロの利点は言語機能の1つではありませんgensym。適切なタイミングで適切なクォート/アンクォートを使用して、適切な衛生状態のマクロを作成できます。ただし、衛生的なマクロを使用すると、マクロの衛生状態が良好になります。その点では、型チェックに少し似ています。

衛生的なマクロにはツールの利点もあります。ほとんどの衛生的なマクロシステムは、マクロの動作とその方法を厳密に制御します（たとえば、Schemeで定義されたマクロsyntax-caseが展開されると、任意のコードを実行できません）。これにより、マクロを「理解」するプログラムを作成しやすくなり、追加のツールサポートを提供できます。

一方、非衛生的なマクロが役立つ場合があります。たとえば、特定の変数（たとえば照応マクロ）のバインドを実際にキャプチャしたい場合、衛生的なマクロしかないと運が悪いと思います。