范畴理论是数学上的一种新的语言和框架结构. 对于程序员来说,它是另一种思考方式,一种极度有效的方式来提取规律(Extremely efficient for generalization) Programming is doing Math.编成的工作其实就是数学的工作。
范畴是一种表达事物(things) 和路径(ways) to go between things. 这可以参考thinking like a git,因为他也是一种基于范畴理论, 而延伸出来的实际产物,方便程序员对于development的管理。
… 阅读全文>>