Functional Programming in Lean

 Functional Programming in Lean🔗

David Thrane Christiansen

저작권 Microsoft Corporation 2023 및 Lean FRO, LLC 2023–2026

이 책은 Lean을 프로그래밍 언어로 사용하는 방법을 다루는 무료 책이다. 모든 코드 예제는 Lean 릴리스 4.33.0로 테스트했다.

DISCLAIMER: 이 도서는 AI가 한국어로 번역하였으며, 이는 개인 사용 목적이니 주의 바랍니다.

Contents

  1. Introduction
  2. Acknowledgments
  3. 1. Getting to Know Lean
  4. 2. Hello, World!
  5. Interlude: Propositions, Proofs, and Indexing
  6. 3. Overloading and Type Classes
  7. 4. Monads
  8. 5. Functors, Applicative Functors, and Monads
  9. 6. Monad Transformers
  10. 7. Programming with Dependent Types
  11. Interlude: Tactics, Induction, and Proofs
  12. 8. Programming, Proving, and Performance
  13. 9. Next Steps