コンパイラ向け度

http://d.hatena.ne.jp/ytqwerty/20051222#p2で挙げた条件と照らしてみる。
Pascal系には珍しく、強型ではなく、構造一致で型を見るModula-3。
GCのあるModula-3。
拡張精度浮動小数点実数の使えるModula-3。
VMのいらないModula-3。
なんか今だと「もし10分の1の複雑さでAdaの9割の機能が得られるなら〜」なんてキャッチフレーズが付いてそうなModula-3。
…実はコンパイラ記述向けだったりするのでしょうか？
予約語大文字がネックですよねぇ。