Idris. Really interesting language exploring dependent types for practical programming, but not yet production ready.