Scala

  1. Multi-paradigm
  2. Scalability
  3. Type Soundness
  4. JVM