>>410
>>関数とデータを分離して考える、由緒正しい純関数型言語
関数をfirst-orderとして扱うlambda計算は純関数型言語じゃないってこと？