What is the type system in the Dart language?

The type system in Dart is strong, static with the ability to determine types dynamically.

Main concepts:

• Static typing: Variable types are checked at compile time. This helps to catch errors before running the application.

  // Example of static typing
  int age = 30;
  // age = "thirty"; // Compilation error
  

• Type inference: The compiler can automatically determine the type of a variable based on the assigned value.

  // Example of type inference
  var name = "Alice"; // The compiler infers the type String
  

• Dynamic type (dynamic): Allows a variable to hold a value of any type. Type checking occurs at runtime. Usage of dynamic should be minimized.

  // Example of dynamic type
  dynamic value = 10;
  value = "hello";
  

• Null Safety: Introduced to prevent errors related to null values. Variables are non-nullable by default unless explicitly marked as nullable (?).

  // Example of null safety
  String nonNullableString = "not null";
  // nonNullableString = null; // Compilation error
  
  String? nullableString = null; // Allowed to be null
  

• Sound Null Safety: Ensures that operations on non-nullable types do not lead to NullPointerException (or its Dart equivalent), unless nullability is explicitly allowed.

The type system in Dart provides a balance between the safety of statically typed languages and the flexibility of dynamically typed languages.