そもそも関数型言語といえばラムダ計算を基礎とするれっきとした専門用語の１つ
なのに、何故誰も教えてあげなかったの？