milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmer

项目说明

![GitHub stars][github stars]
[![GitHub Workflow Status][github workflow status]][github actions link]
[![Download][download badge]][github latest release]
[![License][license badge]][github latest release]

Category Theory For Programmers

An _unofficial_ PDF of "Category Theory For Programmers"
by [Bartosz Milewski][bartosz github], con from his [blogpost
series][blogpost series] (_with permission!_).

![Category Theory for Programmers][ctfp image]

Buy the book

**[Standard edition in full-color hardcover

print][buy regular edition on blurb]**
- Publish date: 12 August, 2019.
- Based off release tag [v1.3.0][v1.3.0 github release link]. See
errata-1.3.0 for changes and fixes since print.

[Scala Edition in paperback][buy scala edition on blurb]

- Publish date: 12 August, 2019.
- Based off release tag [v1.3.0][v1.3.0 github release link]. See
errata-scala for changes and fixes since print.

Build the book

The building workflow requires [Nix][nix website]. After [installing
Nix][nix download website], you need to enable the upcoming "flake" feature
which must be [enabled manually][nixos wiki flake] the time being. This is
needed to expose the new Nix commands and flakes support that are hidden behind
feature-flags.

Afterwards, type nix flake show in the root directory of the project to see
all the a of this book. Then type nix build .#<edition> to
build the edition you want (Scala, OCaml, Reason and their printed ).
For example, to build the Scala edition you'll have to type
nix build .#ctfp-scala. For Haskell (the original ) that is just
nix build .#ctfp.

Upon successful compilation, the PDF file will be placed in the result
directory.

The command nix develop will provide a shell containing all the required
dependencies to build the book manually using the provided Makefile. To build
the ctfp-scala edition, just run make ctfp-scala.

Contribute

Contributors are welcome to contribute to this book by sending pull-requests.
Once re, the changes are merged in the main branch and will be
incorporated in the next release.

Note from [Bartosz][bartosz github]: I really appreciate all your
contributions. You made this book much better than I could ha. Thank
you!

Find the [list of contributors on Github][contributors].

Acknowledgements

PDF LaTeX source and the tools to create it are based on the work by [Andres
Raba][andres raba github]. The book content is taken, with permission, from
[Bartosz Milewski][bartosz github]'s blogpost series, and adapted to the LaTeX
format.

The original blog post acknowledgments by Bartosz are consolidated in the
_Acknowledgments_ page at the end of the book.

License

The PDF book, .tex files, and associated images and figures in directories
src/fig and src/content are licensed under [Creati
Attribution-ShareAlike 4.0 International License][license cc by sa].

The script files scraper.py and others are licensed under [GNU General Public
License 3][license gnu gpl].

[download badge]:

[github actions link]:
[github stars]:

[github workflow status]:

[github latest release]:

[license badge]:

[ctfp image]:

[bartosz github]:
[nixos wiki flake]:
[andres raba github]:
[contributors]:
[license cc by sa]:
[license gnu gpl]:
[blogpost series]:

[buy regular edition on blurb]:

[buy scala edition on blurb]:

[v1.3.0 github release link]:

[nix website]:
[nix download website]:

项目信息

开发语言：TeX

Star 数：11696

技术要点

该项目属于CTF思路方向的开源资源，代码结构清晰，适合安全研究人员学习参考。项目围绕Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source展开，提供了可运行的实现，对理解相关安全机制、工具原理与攻防技术具有较高的研究价值。

从技术实现角度看，此类项目的核心在于对底层原理的深入理解与工程化落地。开发者在研究过程中可以结合官方文档与社区讨论，梳理项目的初始化流程、核心模块职责与数据流转，逐步掌握其中的技术细节与设计思路。

使用与学习建议

1. 下载源码压缩包，解压到本地环境。

2. 根据项目类型准备对应的运行环境与依赖。

3. 按照 README 中的步骤完成配置与部署。

4. 在隔离的测试环境中运行验证，避免影响生产系统。

免责声明

本资源来源于开源社区，仅供安全研究、技术学习与合法授权范围内的攻防演练使用，请勿用于任何非法或侵害他人权益的用途。使用本项目产生的一切后果由使用者自行承担。