You could characterize Racket as THE lisp when it comes to well-behaved and well-researched metaprograming.