うーん、関数型言語の範囲を広げる事で(仮に関数言語と呼ぶ)、
　　　　研究プロトタイプとしての関数型言語と、
　　　　その実用例としての関数言語に分けて、
　　　　関数型言語の意義を議論するつもりだったんだけど。
どうしても、MLとか型付ラムダ計算って範囲に限定したいのですか？