Hermes (programming language) とは

Hermesは1986年から1992年までIBMのThomas J. Watson Research Centerで開発された分散型プログラミングの言語で、オープンソースのコンパイラとランタイムシステムを備えています。エルメスの主な特徴:
 プロセスとプロセス間通信の言語サポート。操作で初期化されたデータが使用されるコンパイル時検証。表と呼ばれる表記に依存しないデータ集約。ポインタの欠如。
"typestate analysis"と呼ばれるデータ初期化のコンパイル時検査は、Java、Cyclone、およびC#で実行される明確な割り当て分析の初期の前例です。
エルメスとその前身であるNIL(Network Implementation Language)は、この形式の初期化チェックをサポートする最も初期のプログラミング言語でした。 Typestateは、コンパイラが挿入した「削除」操作を生成するために、より広範に実際に使用されていました。