What do you think about Scala?
I encountered Scala snippets when reading the book Functional and Reactive Domain modeling and felt like it had a rather powerful type system (I translated things to Elixir though so language was of little importance).