>>385
混同もなにも根元的にすべてがラムダ項なのが関数型だろ
ひょっとして匿名関数をラムダと呼んでるニワカ?