milewski ctfp pdf

程序员的类别理论

Bartosz Milewski的“ C Ategory T Heory F或P Rogammers”的非官方PDF版本，从他的Blogpost系列中转换为（经许可！ ）。

买书

• 全彩色精装版本的标准版
  • 发布日期：2019年8月12日。
  • 基于发布标签v1.3.0。有关打印以来的更改和修复，请参见Errata-1.3.0。
• 平装本
  • 发布日期：2019年8月12日。
  • 基于发布标签v1.3.0。有关打印以来的更改和修复，请参见Errata-Scala。

构建书

建筑物的工作流程需要NIX。安装NIX后，您需要启用即将到来的“薄片”功能，必须手动启用时间。需要这是揭示隐藏在功能范围后面的新的NIX命令和薄片支撑。

之后，键入nix flake show ，以查看本书的所有可用版本。然后键入nix build .#<edition>要构建所需的版本（Scala，Ocaml，Reason和他们的印刷版本）。例如，要构建Scala版本，您必须键入nix build .#ctfp-scala 。对于Haskell（原始版本），只是nix build .#ctfp 。

成功编译后，PDF文件将放置在result目录中。

命令nix develop将提供一个包含使用提供的Makefile手动构建本书的所有所需依赖项的外壳。要构建ctfp-scala版本，只需运行make ctfp-scala即可。

贡献

欢迎贡献者通过发送拉装来为这本书做出贡献。一旦进行了审查，更改将合并于主分支，并将合并到下一版本中。

Bartosz的注释：我非常感谢您的所有贡献。您使这本书比我想象的要好得多。谢谢你！

在Github上找到贡献者列表。

致谢

PDF乳胶源及其创建工具是基于Andres Raba的工作。在Bartosz Milewski的Blogpost系列中，该书的内容被允许，并适应了乳胶格式。

Bartosz的原始博客帖子确认在书结尾的“确认”页面中被合并。

执照

PDF书籍， .tex文件以及目录中的相关图像和数字src/fig和src/content在Creative Commons Attribution-ShareAlike 4.0国际许可下获得许可。

脚本文件scraper.py和其他人是根据GNU通用公共许可证版本3的3。