Category Theory for Programmers:'Category Theory for Programmers' 非官方 PDF 和 LaTeX 源-开源

【文件属性】：
文件名称：Category Theory for Programmers:'Category Theory for Programmers' 非官方 PDF 和 LaTeX 源-开源
文件大小：18.11MB
文件格式：ZIP
更新时间：2021-08-08 11:18:43
开源软件 这是 Bartosz Milewski 撰写的“程序员类别理论”的非官方 PDF 版本，从他的博文系列（经许可）转换而来。 程序员类别理论于 2019 年 8 月 12 日发布。基于发布标签 v1.3.0。 有关自打印以来的更改和修复，请参阅 errata-1.3.0。 Scala 版现在有平装本。 发布。 基于发布标签 v1.3.0。 有关自打印以来的更改和修复，请参阅 errata-scala。 构建本书的最佳方式是使用 Nix 包管理器。 安装Nix后，在项目根目录输入nix-shell。 这将下载构建本书所需的所有依赖项和工具（TeXLive、所需的字体和包、用于语法高亮显示的 Pygments 主题等）。