大吉祥寺.pm 2025
トーク枠(30分)
吉祥寺.pm初登場
教養としてのラムダ計算
T.T
TTTaison
2025年の今、私が皆さんに聞いてほしいのは、多くのモダン技術を支える「関数プログラミング」、その理論的基盤である「ラムダ計算」の話です。
本セッションでは、まず基本となる「型なしラムダ計算」を扱います。すべては関数であり、式の変換で計算が表現される世界を豊富な図解で解説します。理論の学習というよりは、シミュレーションを覗き込むような感覚で、関数プログラミングの動作原理に触れていきましょう。
これにより、高階関数や参照透過性といった、関数プログラミングの核となる概念がなぜ機能するのか、その本質が直感的に理解できてもらえるのではないかと思っています。セッション後には、関数プログラミングへの理解が一段と深まっていると思います。