books/CategoryTheoryForProgrammers 学习资源 id:: 68467b3a-ebaf-425b-a73e-6e469dfe37f8 https://docs.racket-lang.org/ctp/index.htmlk