大家都谁学了？

哦，那个算一个简单的说明，其实还有很多接下去的内容。

可《real world haskell》就没讲范畴伦

这个事情要从你为什么学Haskell说起。如果你只是学一门语言，跟学C或者python没什么区别的语言，或者你是想了解一下函数语言的特点等等这些所谓很“务实的”目的，那么你自然就没必要去学什么范畴论了。
但是如果你是想了解语言特别是Haskell语言背后的构成原理，了解现代数学是如何影响编程语言发展的，那么学习范畴论就是特别必要的。而进一步说，不仅仅是因为范畴论是Monad的理论基础，其实也正式因为Monad固有的特性，有些说法就是Haskell也固有某些弱点，因此提出了很多修改的办法。而这些说法，如果你不了解特别是从数学角度了解范畴论，那么你根本就不能明白人家究竟在说什么。

如果只是学一门语言, 跟学Miranda也没区别，没错，这就是务实与务虚的区别。

如果只是学一门语言, 跟学Miranda和学C应该没区别。

麻烦了，"Learn You a Haskell for Great Good!" 的作者没法向读者讲明白Moand了。

其实这个事情就跟你学习C不明白指针，学习common Lisp不会用宏，学习java不明白反射一样是个很遗憾的事情。
其实就我自己私下的看法，Haskell就不需要当成一个工业语言，而是应该看作一种学术实验语言。你根本就不需要用这些语言来做什么，重要的是你用过这语言之后你懂得了什么。

范畴论是类型系统的工具，但不学范畴论也可以用haskell

楼主一定不知道最开始Haskell是没有Monad的把

学习haskell来了解范畴论不可以呀？

唐凤推荐的红书(types and programing languages)似乎就没讲范畴