Jaki jest system typizacji w języku Dart?

System typizacji w Dart jest silny, statyczny i umożliwia dynamiczne określenie typu.

Główne koncepcje:

• Statyczne typowanie: Typy zmiennych są sprawdzane podczas kompilacji. Pomaga to wykryć błędy przed uruchomieniem aplikacji.

  // Przykład statycznego typowania
  int wiek = 30;
  // wiek = "trzydzieści"; // Błąd kompilacji
  

• Wnioskowanie typu: Kompilator może automatycznie określić typ zmiennej na podstawie przypisanej wartości.

  // Przykład wnioskowania typu
  var imię = "Alice"; // Kompilator wywnioskuje, że to String
  

• Typ dynamiczny (dynamic): Pozwala zmiennej przechowywać wartość dowolnego typu. Sprawdzanie typów odbywa się w czasie wykonywania. Zaleca się minimalizować użycie dynamic.

  // Przykład typu dynamicznego
  dynamic wartość = 10;
  wartość = "cześć";
  

• Bezpieczeństwo Null (Null Safety): Wprowadzone, aby zapobiec błędom związanym z wartościami null. Zmienne domyślnie nie mogą być null, chyba że są wyraźnie oznaczone jako nullable (?).

  // Przykład null safety
  String nieNull = "nie null";
  // nieNull = null; // Błąd kompilacji
  
  String? nullable = null; // Dozwolone być null
  

• Ścisłe bezpieczeństwo Null: Gwarantuje, że operacje na typach nie-nullowalnych nie spowodują wyjątku NullPointerException, chyba że nullowalność została wyraźnie dozwolona.

System typowania w Dart zapewnia równowagę między bezpieczeństwem języków statycznie typowanych a elastycznością języków dynamicznie typowanych.