TypeScript

JavaScript with type annotations.

typescriptlang.org/

Features:

• Uses structural typing
• Unsound (a type system allows certain operations that can’t be known at compile-time to be safe)
  • Function parameter bivariance
  • Rest parameters