Почему в Dart 2.0 отказались от неявного приведения типов?

Отказ от неявного приведения типов в Dart 2.0 был ключевым шагом для превращения Dart в зрелый язык со строгой статической типизацией. Основная цель — устранение целого класса скрытых ошибок времени выполнения и повышение предсказуемости кода.

Проблема в Dart 1.x: Язык выполнял неявные приведения, которые часто маскировали логические ошибки под корректное поведение.

// Dart 1.x: Опасное неявное приведение
void printList(List<int> numbers) {
  for (var num in numbers) print(num);
}

void main() {
  printList('not a list'); // Неявно приводило String к List? К Runtime ошибке!
  var value = null;
  print(value + 5); // Неявно приводило null к 0. Результат: 5 (неочевидно!).
}

Решение в Dart 2.0: Такие конструкции теперь вызывают ошибки на этапе компиляции, заставляя разработчика явно указать свои намерения.

// Dart 2.x: Ясность и безопасность
void printList(List<int> numbers) {
  for (var num in numbers) print(num);
}

void main() {
  // printList('not a list'); // ОШИБКА КОМПИЛЯЦИИ: Несоответствие типов.

  int? value = null; // Теперь требуется явная nullable-аннотация.
  print((value ?? 0) + 5); // Явная обработка null. Результат: 5 (очевидно!).
}

Выгоды для Flutter-разработки:

1. Раннее обнаружение ошибок: Ошибки находят во время написания кода в IDE, а не на телефоне пользователя.
2. Более умные инструменты: Анализатор кода и автодополнение стали значительно точнее, так как типы теперь гарантированно надежны.
3. Читаемость кода: Явные приведения и проверки делают логику программы понятнее для других разработчиков.