Statically typed programming language for Java VM
