>>988
ラベル型っていうのとラベルを動的に生成して変数に代入して
returnする命令組み合わせるやり方ね。
ラベル型だけだと配列にしてステートマシン書けるくらい。
10年位前からあるけど最近qiitaで記事出てきた。
hsp3系は関数書けるしsmlのモジュールに近いデータ型あって
レコードとタプルがないくらい。

ラベル型でジェネレータとコルーチン実装するくらいのことは
出来るから結構モダンなこと出来るよ。