Какова система типизации в языке Dart?

Система типизации в Dart — сильная, статическая с возможностью динамического определения типа.

Основные концепции:

• Статическая типизация: Типы переменных проверяются во время компиляции. Это помогает обнаружить ошибки до запуска приложения.

  // Пример статической типизации
  int age = 30;
  // age = "thirty"; // Ошибка компиляции
  

• Выведение типов (Type inference): Компилятор может автоматически определить тип переменной на основе присваемого значения.

  // Пример выведения типов
  var name = "Alice"; // Компилятор выведет тип String
  

• Динамический тип (dynamic): Позволяет переменной хранить значение любого типа. Проверка типов происходит во время выполнения (runtime). Использование dynamic следует минимизировать.

  // Пример динамического типа
  dynamic value = 10;
  value = "hello";
  

• Безопасность Null (Null Safety): Введена для предотвращения ошибок, связанных с нулевыми значениями. Переменные по умолчанию не могут быть null, если явно не помечены как обнуляемые (?).

  // Пример null safety
  String nonNullableString = "not null";
  // nonNullableString = null; // Ошибка компиляции
  
  String? nullableString = null; // Разрешено быть null
  

• Sound Null Safety: Гарантирует, что любые операции с необнуляемыми типами не приведут к исключению NullPointerException (или его аналогу в Dart), если только обнуляемость не была явно разрешена.

Система типизации в Dart обеспечивает баланс между безопасностью статически типизированных языков и гибкостью динамически типизированных.