I like typescript, it has a type system more powerful (in terms of expression) than even Java and still flexible as script languages.