Mecanografiado estáticamente

Definición: ¿Qué significa Escrito estáticamente?

Tipado estáticamente es una característica del lenguaje de programación en la que los tipos de variables se declaran explícitamente y, por lo tanto, se determinan en tiempo de compilación. Esto permite al compilador decidir si una variable determinada puede realizar las acciones solicitadas o no.

La escritura estática asocia tipos con variables, no con valores. Algunos ejemplos de lenguajes de programación de tipo estático incluyen:

  • Haskell
  • FORTRAN
  • Java
  • C
  • C#
  • C + +
  • Ada
  • Jade
  • Pascal
  • ML
  • Perl
  • Scala

Techinfo explica el tipo estático

En la escritura estática, no es necesario realizar comprobaciones adicionales durante el tiempo de ejecución para confirmar que un objeto puede realizar algunas acciones. Los lenguajes de programación de tipado estático realizan la verificación de tipos durante el transcurso de la compilación en lugar de durante el tiempo de ejecución, lo que hace que los programas escritos en estos lenguajes se ejecuten mucho más rápido.

Además, las herramientas y la refactorización son mejores en lenguajes de tipado estático ya que las herramientas pueden encontrar los tipos de variables a medida que se codifica el programa. Esto ayuda a comprender instantáneamente los parámetros de una función determinada y también los métodos disponibles para un objeto específico. Esto también hace que el proceso de refactorización sea mucho más sencillo.

Con unas pocas excepciones, una vez que se refactoriza un método u objeto, es fácil comprender de inmediato qué otros códigos dependen de él. Sin embargo, esto tiene un costo. Con unas pocas excepciones, los lenguajes tipados estáticamente requieren anotaciones adicionales para notificar al compilador con respecto a los objetivos previstos por el autor.

Cuando se trata de estructura de objetos, los lenguajes de tipo estático tienden a ser menos flexibles en comparación con sus contrapartes dinámicas. No es posible agregar campos y métodos a un objeto dado durante el tiempo de ejecución. Esto puede resultar complicado cuando se manejan datos menos estructurados; por ejemplo, analizar JSON, XML o consultas de bases de datos conduce a asignaciones de objetos menos que ideales.