You are complaining about explicit typing. Try ML (OCaml, F#…) or Haskell, they have type inference. No need to declare types most of the time, but they’re the

You are complaining about explicit typing. Try ML (OCaml, F#…) or Haskell, they have type inference. No need to declare types most of the time, but they’re there, checked at compile time.