范畴论对Haskell程序员来说，到底是天书还是捷径？

范畴论这东西，我学 Haskell 的时候就一直想绕过去。什么函子、自然变换、Yoneda 引理，每个词都像来自另一个次元。但这期视频让我不得不承认：如果连 Haskell 程序员都看不懂范畴论，那它是不是讲得太复杂了？讲者直接把范畴论的核心概念和 Haskell 里的类型类、多态、可组合函数对应起来，不绕弯子。看完我才发现，范畴论其实就是给函数式编程的直觉打了个正式的框架。不用啃代数拓扑那套，你只要能写 monad，就已经在运用范畴论了。问题是，为什么这东西至今被包装得像高等数学？

原文：Category Theory Explained for Haskell Programmers [video] · 来源：Hacker News