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

Системата за типизация в Dart е силна, статична и позволява динамично определяне на типа.

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

• Статична типизация: Типовете на променливите се проверяват по време на компилация. Това помага да се открият грешки преди изпълнението на приложението.

  // Пример за статична типизация
  int възраст = 30;
  // възраст = "тридесет"; // Грешка при компилация
  

• Инференция на типове: Компилаторът може автоматично да определи типа на променлива въз основа на присвоената стойност.

  // Пример за инференция на типове
  var име = "Alice"; // Компилаторът ще определи, че е String
  

• Динамичен тип (dynamic): Позволява на променлива да съхранява стойности от всякакъв тип. Проверката на типове се извършва по време на изпълнение. Препоръчително е да се минимизира използването на dynamic.

  // Пример за динамичен тип
  dynamic стойност = 10;
  стойност = "здравей";
  

• Безопасност на null (Null Safety): Въведена е за предотвратяване на грешки, свързани с null стойности. Променливите по подразбиране не могат да бъдат null, освен ако не са маркирани явно като nullable (?).

  // Пример за null safety
  String неNull = "не null";
  // неNull = null; // Грешка при компилация
  
  String? nullable = null; // Позволено е да бъде null
  

• Строга null безопасност: Гарантира, че операциите с не-null типове няма да доведат до изключение NullPointerException, освен ако nullability не е разрешена явно.

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