Statically typed programming languages or Dynamically typed programming languages?