例のローカル変数の初期値から型云々

http://www.elegosoft.com/cm3/doc/tutorial/m3/m3_24.html
ありましたよ、ありましたよModula-3に…。
特に名前が付けられたりはしてない様子。よくある省略構文の扱いでしか無かったのでしょうか…。いや、当時は言語機能にいちいち名前を付けて騒ぐような時代では無かったと思っておこう…。
コメントいただいたのでリンク貼っておきます。http://www2.coins.tsukuba.ac.jp/~i021216/diary/?date=20060103