What type of type system is used in the Dart language?

The Dart language uses static typing with type inference. This means that variable types are checked at compile time, which helps catch errors early. Dart supports both explicit type annotations and automatic type inference by the compiler.

For example:

int a = 5; // explicit type annotation
var b = 'hello'; // type String is inferred automatically