[nequo]

It lets you create languages like Pie which is designed to teach others about dependent types:

https://thelittletyper.com/

[CyberDildonics]

That seems like an extreme niche use that isn't suited for general purpose programming.

[nequo]

Racket's main use case is pedagogy and PL research.