文件名称：plt:λΠ 编程语言理论
文件大小：22KB
文件格式：ZIP
更新时间：2024-08-24 01:58:27
functional-programming logic type-theory category-theory programming-languages
布局 标题 页 编程语言理论 编程语言理论 在编程语言理论中寻找启蒙之路可能是一项艰巨的任务，尤其是对于没有在学校学习的编程从业者而言。 此资源可助您一臂之力。 如果您有改进的想法，请随时 ping 我或发送请求请求。 请注意，我试图按照最“可处理”的顺序订购这些书。 所以这个想法是从上到下阅读书籍。 与往常一样，这取决于您的背景和倾向。 为具有不同背景的人甚至具有不同目标的人提供通过这些材料的多种途径会很好。 然而，就目前而言，它就是这样。 数学素养 — ——丹尼尔·J·维勒曼 代数 — Victor Shoup 高级现代代数 - Joseph J. Rotman 现代代数综述 — Birkhoff 和 MacLane 类型理论 对于类型理论的快速课程，Philip Wadler 推荐：类型和编程语言，证明和类型，然后是类型和编程语言中的高级主题。 图书 - Agda 中的
【文件预览】：
plt-main
----category-theory()
--------recursion-schemes.md(1KB)
----.gitignore(6B)
----images()
--------arrow-down.png(216B)
--------octocat-small.png(357B)
----index.md(21KB)
----javascripts()
--------scale.fix.js(503B)
----.ruby-version(6B)
----effect-systems()
--------index.md(414B)
----stylesheets()
--------github-light.css(3KB)
--------styles.css(7KB)
----README.md(8B)
----module-systems()
--------index.md(5KB)
----params.json(2KB)
----higher-type-theory()
--------index.md(656B)
----.gitattributes(21B)
----_layouts()
--------default.html(2KB)
--------page.html(63B)