Inferencia de tipos frente a tipos explícitos

Puede escribir el tipo usted mismo o dejar que Dart lo infiera. En ambos casos, se obtiene internamente la misma variable con tipado fuerte.

Una declaración explícita indica el tipo desde el principio. Es clara y se explica por sí misma para cualquiera que lea su código.

Con var, Dart infiere el tipo a partir del valor de la derecha. Se escribe menos, con la misma seguridad, ya que el tipo sigue siendo fijo.

Inferido no significa flexible. Un var sigue teniendo un tipo concreto y rechaza asignaciones incompatibles posteriores.

Especifique el tipo cuando el valor por sí solo sea ambiguo, como en una lista vacía, para que los lectores sepan exactamente qué contiene.

Dart observa el literal que ha escrito: un punto significa double y la ausencia de punto significa int. La forma del literal determina la elección.

Al llamar a una función, var infiere automáticamente el tipo de la variable a partir del tipo de retorno de esa función.

Declarar un tipo explícito permite que Dart señale inmediatamente un valor incorrecto, antes de que el programa llegue a ejecutarse.

Hay una diferencia: los tipos explícitos aportan claridad, mientras que la inferencia mantiene las líneas breves. Priorice la claridad en el código compartido.

Elija la opción que elija, Dart tiene tipado estático. El tipo queda fijado en tiempo de compilación y no cambia durante la ejecución.

Deje que Dart infiera el tipo cuando el valor sea evidente y escríbalo cuando aporte significado. Busque que el código se explique por sí mismo.

¿Qué hace realmente var con el tipo de una variable?

Ha visto que los tipos explícitos documentan la intención, mientras que la inferencia mantiene el código breve. Ambos conservan el tipado estático y la seguridad. 👍