For example, a strong statically typed language like Scala statically (at compile time) ensures that a certain value with type Int is correctly used throughout the program, and that at runtime, nothing else other than an Int can be held in that value's memory location.

Is Scala dynamic typed?

Scala is a unique language in that it's statically typed, but often feels flexible and dynamic.

Why is go statically typed?

Static Typing

Like any strongly typed language, the type system allows the compiler helps catch entire classes of bugs. Go also has built-in types for lists and maps, and they are easy to use.