¿Cuál es el sistema de tipificación en el lenguaje Dart?

El sistema de tipificación en Dart es fuerte, estático y permite la determinación dinámica del tipo.

Conceptos principales:

• Tipificación estática: Los tipos de variables se verifican durante la compilación. Esto ayuda a detectar errores antes de ejecutar la aplicación.

  // Ejemplo de tipificación estática
  int edad = 30;
  // edad = "treinta"; // Error de compilación
  

• Inferencia de tipos: El compilador puede determinar automáticamente el tipo de una variable en función del valor asignado.

  // Ejemplo de inferencia de tipos
  var nombre = "Alice"; // El compilador inferirá que es String
  

• Tipo dinámico (dynamic): Permite que una variable almacene valores de cualquier tipo. La verificación de tipos ocurre en tiempo de ejecución. Se recomienda minimizar el uso de dynamic.

  // Ejemplo de tipo dinámico
  dynamic valor = 10;
  valor = "hola";
  

• Seguridad Null (Null Safety): Introducida para prevenir errores relacionados con valores nulos. Las variables por defecto no pueden ser null, a menos que se marquen explícitamente como anulables (?).

  // Ejemplo de null safety
  String noNulo = "no null";
  // noNulo = null; // Error de compilación
  
  String? nulo = null; // Permitido ser null
  

• Seguridad Null en modo estricto: Garantiza que las operaciones con tipos no anulables no causen excepciones NullPointerException, a menos que la nulabilidad haya sido explícitamente permitida.

El sistema de tipificación en Dart proporciona un equilibrio entre la seguridad de los lenguajes tipados estáticamente y la flexibilidad de los lenguajes tipados dinámicamente.