Mesa
Mesa言語は、ALGOLやPascalに基づいた「命令的」で「代数的」な構文を持っている。大文字と小文字を区別し、大文字のみの識別子は予約されている。予約語や定義ずみの識別子はすべて大文字で書かれる。
コメントは -- から行末、または次の -- が現れるまでである。
型宣言はPascalとよく似ており、基本型(INTEGER, CARDINAL, BOOLEAN, CHARACTER, LONG INTEGER, LONG CARDINAL, REAL)、数え上げ型、サブレンジ型、配列型、配列記述子(動的配列)型、レコード型、ポインタ型、手続き型などがある。型宣言をすることもできる。Mesaは静的な型付けの言語であるが、それをすりぬけるためのUNSPECIFIED(1ワードの何でもはいる型)とLOOPHOLE組み込み手続きを使った型変換がサポートされている。
Mesaの設計者が例外処理機能を実装したいと検討したとき、彼らはコロラド州で博士号を取得したばかりで、アルゴリズム言語における例外処理についての論文を書いた人物を雇った。これにより、SIGNAL、ERROR、ABORT、RETRY、CATCH、CONTINUEというプリミティブを持つ、当時としてはもっとも豊富な例外処理機能が実現した。この言語にはシグナル処理の完全なカバレッジを検証するための型安全性チェックがなかったため、補足されない例外はリリースされたソフトウェアのバグの一般的な原因となった。