[breatheoften]

Are there any statically typed S-expression languages?

[glenda]

Typed Racket is the only one I've come across but I'm sure there are a few more.

[munificent]

Shen is another one:

http://www.shenlanguage.org/

There are also a ton of hobby languages that are statically typed and use s-exprs so the author doesn't have to spend as much time on syntax.

[shanemhansen]

Clojure does allow type annotations that are used to avoid reflection. https://clojure.org/reference/java_interop#Java%20Interop-Ty...

    (defn len2 [^String x]
      (.length x))