Beautiful Racket is a really nice book. I wish there was a long tutorial on DSLs + static analysis, preferably abstract interpretation. Develop a DSL that is

Beautiful Racket is a really nice book. I wish there was a long tutorial on DSLs + static analysis, preferably abstract interpretation. Develop a DSL that is a bit beyond a toy example, and show how to carry out static analysis. All in one place. I think this would help a lot towards making the goal of Racket, language-oriented design, more popular.