Racket could have literally the most advanced and robust type system out of all programming languages in existence, and still be used by the same amount of people as today and have a hard time convincing anyone else to use it.
What makes a language popular from what I have seen are libraries, frameworks, and community.
Edit: Racket has all of the above, so obviously there are other factors as well.