λ計算は「数式や数学におけるアルゴリズムを表現したい」という目的において程よい抽象化レベルや近しいセマンティクスを持っているから、数学やってる人がプログラミング入門するには良いかもしれないけど。それは既にある程度の (抽象概念を理解するうえでの)「土台」があるということに他ならないので
λ計算は「数式や数学におけるアルゴリズムを表現したい」という目的において程よい抽象化レベルや近しいセマンティクスを持っているから、数学やってる人がプログラミング入門するには良いかもしれないけど。それは既にある程度の (抽象概念を理解するうえでの)「土台」があるということに他ならないので