[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.