Study note
Functional Programming in Lean
Properties
- Type
- Books
- Status
- 想读
- Domain
- Compilers / PL
- Category
- 编程语言与函数式编程
- Source
- lean-lang.org
- Vault note
library/books/compilers/Functional-Programming-in-Lean-eb811c22a45f88cf.md
Summary
Lean 官方免费书，讲如何把 Lean 作为编程语言使用，内容包括 Lean 入门、Hello World、命题/证明/索引插曲、重载与类型类、monad、functor/applicative/monad、monad transformer、依赖类型编程，以及编程、证明和性能。
Highlights
适合从函数式编程入口学习 Lean，而不是一开始就进入定理证明；所有代码样例随 Lean 4.26.0 测试。
Notes
David Thrane Christiansen。
Comments
Loading comments...