I would say that if your only problem with Scheme is the lack of static typing, as opposed to the litany of other complaints that are popular, then Typed Racket

I would say that if your only problem with Scheme is the lack of static typing, as opposed to the litany of other complaints that are popular, then Typed Racket is a serviceable language. I would say it’s type system is at least equal what you get in C++ or Java. It is not as expressive as Haskell (but really what is that doesn’t go full Idris/Agda/ATS), but there are some #langs making headway to that space.