编程中的范畴论 2024-12-02 本教程面向 Racket 程序员，旨在解释计算系统背后的数学思想，特别是范畴论。教程探讨了如何用范畴论的视角重新诠释编程概念，并用编程语言构造来描述抽象的范畴论概念。教程涵盖了范畴、函子、自然变换等核心概念，以及它们在 Racket 编程语言中的表示和应用。目的是帮助程序员掌握用范畴论进行抽象和泛化，从而提升思维、解决问题和系统设计的能力。 (docs.racket-lang.org) 6 未分类 Racket编程