Sistema de tipo dardo

El lenguaje de programación Dart se considera de tipo seguro, lo que significa que garantiza que el valor de la variable siempre coincida con el tipo estático de la variable a través de una combinación de verificación de tipo estático y verificación de tiempo de ejecución. También se conoce como escritura de sonido. Es útil al depurar el código en tiempo de compilación.

Todas las formas de errores estáticos se pueden resolver agregando anotaciones de tipo a las clases genéricas. Algunas clases de colección genéricas utilizadas con frecuencia se enumeran a continuación:

• Lista
• Mapa

Ejemplo 1: el siguiente código generará un error en la lista cuando se realice una llamada a printInts (lista).

void printInts(List<int> x) => print(x);
 
void main() {
  var list = [];
  list.add(1000);
  list.add(2000);
  printInts(list);
}
}

Producción:

error - The argument type 'List' can't be assigned to the parameter type 'List' at lib/strong_analysis.dart:27:17 - (argument_type_not_assignable)

El error anterior se produjo debido a una conversión implícita incorrecta de una lista de tipo dinámico a un tipo de entero, lo que significa que declarar var List = [] no proporciona suficiente información al analizador de dardos sobre la escritura de los elementos de la lista. Para resolver este problema, pasamos la anotación de tipo a la variable de lista como se muestra a continuación:

// Using num data type in Dart
void printInts(List<int> a) => print(a);
 
void main() {
  var list = <int>[];
  list.add(1000);
  list.add(2000);
  printInts(list);
}
}

Producción:

[1000, 2000] 

Concepto de solidez:

La solidez es el proceso de asegurarse de que el código no se encuentre en un estado no válido. Por ejemplo, si el tipo estático de una variable es booleano, no es posible pasar a un estado en el que la variable se evalúe como un valor que no sea una string durante el tiempo de ejecución. 

Beneficios de tener Solidez:

• Errores relacionados con el tipo de depuración en tiempo de compilación.
• Hace que el código sea más fácil de leer y depurar.
• Obtenga modificaciones al cambiar la pieza de código que rompe otra parte dependiente del código.
• Una de sus características clave es la compilación Ahead Of Time (AOT), que reduce significativamente el tiempo de compilación del código y aumenta la eficiencia.