The Dart is the type safe language, which means it uses both static type checking and runtime checks to confirm that a variable’s value always matches the variable’s static type, sometimes it known as the sound typing.
Although types are required, type annotations are optional because of type interference. This makes it code more readable. The other advantage to being type-safe language is, when we change the part of code, the system warns us about that modification that we have modified earlier.