>>27 やってたやってた、蓬莱軒行った奴がそういうテーマ。

なんか、プログラムの停止性と関連付けて、
停止する関数と停止しない関数に分けるのかな？

多相型と関連付けると、ちいと面倒な結果になりそう...
＃真面目に調べたことないけど