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。