一套 TypeScript 函数式编程框架，内置并发、依赖注入、错误处理和可观测性等能力，帮你在生产环境里写出类型安全、易维护的应用。

把 Bartosz Milewski 的《程序员范畴论》整理成可下载的 PDF 和 LaTeX 源码，方便离线阅读、打印或自行修改排版。