Lispのマクロと同じくらい使いやすいと世界が変わるんだけど、
あれは普段のS式操作がそのまま構文操作にできるからってのが大きい
こう、マクロと型システムがいい感じになってる言語が知りたい