Sistemasestaticos

tipos estáticos
Un lenguaje de programación se dice que el uso de tipos estáticos cuando la comprobación de tipos se realiza durante el tiempo de compilación en lugar de en tiempo de ejecución. Lenguajes con tipos estáticos incluyen ActionScript 3, Ada , C , D , Eiffel , F # , Fortran , Ir , Haskell , JADE , Java , ML , Objective-C , OCaml , Pascal , y Scala . C + + es estático de tipos, apartede su ejecución tipo de información en tiempo del sistema. El C # el tipo de sistema lleva a cabo la estática como en tiempo de compilación la comprobación de tipos, sino que también incluye la revisión completa de tipo en tiempo de ejecución. Perl es de tipado estático con respecto a las matrices de distinguir, hashes, escalares y subrutinas.
Tipos estáticos es una forma limitada de laverificación del programa (ver la seguridad de tipos ): en consecuencia, permite que muchos errores de tipo que se detecta a tiempo en el ciclo de desarrollo. Las damas de tipo estático evaluar sólo la información de tipo que se puede determinar en tiempo de compilación, pero son capaces de verificar que las condiciones marcadas mantener para todas las ejecuciones posibles del programa, lo que elimina lanecesidad de repetir los controles de tipo cada vez que se ejecuta el programa. La ejecución del programa también puede ser más eficiente (es decir, más rápido o tomar reducción de la memoria) al omitir los controles de tiempo de ejecución y tipo permiten otras optimizaciones.
Debido a que evalúe la información de tipo durante la compilación y por lo tanto, carecen de información de tipo quesólo está disponible en tiempo de ejecución, las damas de tipo estático son conservadores. Ellos rechazan algunos programas que pueden ser de buen comportamiento en tiempo de ejecución, pero que no puede ser estática decidido a estar bien escrito. Por ejemplo, si una expresión siempre se evalúa como true en tiempo de ejecución, un programa que contiene el código
if then 42 else
será rechazadocomo mal escrito, ya que un análisis estático no puede determinar que el else poder no se tomarán medidas. [1] El comportamiento conservador de los inspectores de tipo estático es una ventaja cuando evalúa como false con poca frecuencia: Un inspector de tipo estático puede detectar errores de tipo en las rutas de código rara vez se utiliza. Sin comprobación de tipos estáticos, aunque la coberturade código pruebas con 100% de cobertura puede ser incapaz de encontrar errores de tipo. Las pruebas pueden no detectar este tipo de errores de tipo, ya que la combinación de todos los lugares donde los valores se crean y todos los lugares donde se utiliza un determinado valor hay que tener en cuenta.
El que más se utilizan lenguajes de tipos estáticos no están formalmente tipo de seguro . Quetienen " lagunas "en la especificación del lenguaje de programación que permite a los programadores a escribir código que evita la verificación realizada por un verificador de tipo estático y por lo tanto frente a una gama más amplia de problemas. Por ejemplo, la mayoría de estilo C-idiomas tienen juegos de palabras tipo , y Haskell tiene características tales como unsafePerformIO : este tipo deoperaciones puede ser peligroso en tiempo de ejecución, ya que puede provocar un comportamiento no deseado debido a la incorrecta tipificación de los valores cuando se ejecuta el programa.
La verificación de tipos
El proceso de verificación y cumplimiento de las limitaciones de los tipos - la comprobación de tipo - puede ocurrir ya sea en tiempo de compilación (una prueba de estática) o entiempo de ejecución (una comprobación dinámica). Si un lenguaje de especificación requiere que sus reglas escribir con fuerza (es decir, más o menos permitir solamente las conversiones de tipo automáticas que no pierda la información), se puede hacer referencia al proceso de establecimiento inflexible de tipos, si no, como tipos débiles. Los términos no se utilizan en un sentido estricto.
[ editar...