Hermes (lenguaje de programación)

Hermes ^{[ 1 ] [ 2 ]} es un lenguaje para programación distribuida ^{[ 3 ]} que fue desarrollado en el Centro de Investigación Thomas J. Watson de IBM desde 1986 hasta 1992, con un compilador y un sistema de tiempo de ejecución de código abierto. ^{[ 4 ]} Las características principales de Hermes incluían: ^{[ 5 ]}

• Soporte lingüístico para procesos y comunicación entre procesos .
• Verificación en tiempo de compilación de que las operaciones utilizan datos inicializados.
• Conjuntos de datos independientes de la representación, denominados tablas.
• Falta de indicadores .

Utiliza el análisis de estado de tipo para comprobar los errores de transición de variables, descartando transiciones semánticamente sin sentido de un estado a otro (por ejemplo, partiendo de un valor, algunas secuencias de operaciones sobre una variable carecen de sentido), siendo la lectura de una variable no inicializada un caso especial. En este sentido, la comprobación en tiempo de compilación de la inicialización de datos es similar al análisis de asignación definida que realizan Java , Cyclone y C# .

Hermes y su predecesor, NIL (Network Implementation Language), fueron los primeros lenguajes de programación que admitían esta forma de verificación de inicialización. ^{[ 6 ]} Typestate se utilizó de forma más extensa para generar operaciones de "eliminación" insertadas por el compilador.