As Harish Gontu mentioned, you are describing Scala:

- Quick to start coding : sbt -> console: you've got an interactive shell (without installing anything, you can also use Scastie online)

- List comprehensions: in Scala, you have for comprehensions which are list comprehensions, only much better (works with plenty of constructs, not only collections)

- Unchecked exceptions only: that's the case

- Statically typed: yep

- Curly braces: yep

- Unlimited size for int: BigInteger in Scala has all the benefits you want (you don't need named methods)

- additional bonus for you: it's still on the JVM

And yes, so much more...