Phoenix, type annotations and Dialyzer

While still early in development, you might be interested to hear about Gleam. A statically typed language for the BEAM.