関数型まつり2025
公募セッション25分
Lean言語は新世代の純粋関数型言語になれるか？
井上亜星
対象とする聴衆のレベル（該当するレベルを記載してください。）
- Beginner: 分野の前提知識を必要としない
セッションのテーマ（該当するテーマを記載してください。なければ追加頂いて良いです）
- 入門
セッションの概要
定理証明支援系であり純粋関数型プログラミング言語でもある、Lean について紹介します。
Lean はまだ新しい言語であり知名度も低いので、このトークではLean言語の名前と特徴を憶えてもらうことを目標とします。