要想能写 Haskell，其实并不需要多少数学知识。但是要想理解内在的思想和原理，Category Theory 和 Lambda Calculus 还是要研究下的，然后可以看看抽象代数里的群论啊啥的。

#1 楼 @yanguango category theory 编程中可以拿来干什么？

这个东西吧，主要是计算理论和 Programming Language Theory。所谓理论，真的是超前于工程实际的。同学如果你对理论研究有浓厚兴趣，可以在这方面深入钻研。如果想体验工程式的 FP，造点轮子、好玩的东西，欢迎尝试 Clojure 和 Ocaml。

#3 楼 @pengedy 你都造过哪些好玩的东西呢？

@lips 这方面我只是有一些浅显的涉猎。如果说好玩的东西，可以尝试用 Clojure 去写 Processing。

我们 haskell 的课程作业我写了个网站……

#6 楼 @msg7086 什么课程，教 haskell?

学习使用上不需要

研究会涉及: 指称语义 -> domain theory, 格，模型论 monad -> 范畴论 类型 -> typed lambda calculus

ML 可能会涉及到更多

#8 楼 @luikore ML 是机器学习么？这个和 haskell 更美关系了吧？

#9 楼 @lips 呃，这里指一门语言，不是机器学习的缩写

#10 楼 @luikore 标记语言？楼上是搞语言研究的？

#2 楼 @lips Haskell 是静态类型语言，所有东西包括函数都有类型，所以最基本的东西就是它的 Hindley–Milner 类型系统，Category Theory 就是这些的理论基础。

#11 楼 @lips 这个 ML 也不是标记语言的缩写，就是 ML ... 变种有 SML 或者 Ocaml 或者 F#

#13 楼 @luikore 或者叫 metalanguage，你给个连接给他看看嘛 http://en.wikipedia.org/wiki/ML_%28programming_language%29

#7 楼 @lips 「编程语言」这门课。

其实就是 3 楼说的 Programming Language。

我在使用 Haskell 的开始阶段遇到的最大的问题是怎么样理解它的 Monads，在我理解了之后，我发现最怕的走入误区，Haskell 本身是一门语言，最怕的是你一定要觉得自己理解了它才开始用它写东西，这样就走不下去了