@amazingjxq

`` 间或看看 1.Typeclassopedia: http://www.haskell.org/haskellwiki/Typeclassopedia 2.All About Monads: http://www.haskell.org/haskellwiki/All_About_Monads . 一次看不完没关系，每天能多前进一点就行了.
`` 像 State Monad, Reader Monad, Writer Monad, List Monad, Maybe Monad, Cont Monad, 要闭上课本自己能够写出来(当然还有Functor)。 Haskell 有一个牛B的地方， 你把 (return :: a -> m a) (bind :: m(m a) -> m a) 的函数签名类型写出来以后，各个实现都只有一个写法（List Monad 除外），你想要写错都不可能, 有点像华容道，多尝试一些就出来了。

@amazingjxq

`` C++er学 Haskell 应该会比其他人容易一些，因为 Haskell 里面的好多概念在C++里面有对应物, 例如 type variable 对应 模块参数， typeclass 对应 (0x标准中被砍掉的) Concept 等等。

`` 学Haskell 的障碍倒不是其语法跟普通语言不太一样：其基础(去掉语法糖,Haskell Core)就是简单的lambda calculus,其实是挺简单的。 看g9老大之前写的 ”lambda算子简介“ 就ok了。http://blog.csdn.net/g9yuayon/article/details/759778。
`` 难的地方优两点 1. Monad太抽象了 2. Monad有啥用。 1还好说，2就会让人学不下去。1的话看黄毅写的“Haskell与范畴论” ：http://yi-programmer.com/2010-04-06_haskell_and_category_translate.html， 2的话看 T1写的“回albertLee:关于Category Theory 和Monad”： http://www.iteye.com/topic/147443。 有着两篇打底，基本上学得障碍就少了很多。

@seeker 开玩笑的啦.
go 的 coroutine 不如 Haskell 的 thread 轻量. interface duck type 学 Haskell 的 type class 而没有 haskell 的type variable.

Haskell 的web framework Yesod: http://www.yesodweb.com/ 性能很不错的. 写一些web应用挺方便的.

目测不如我们 Haskell.

楼主真是年轻有为阿．scheme的解释器照着 SICP 估计能比较容易写出一个来．
编译器还是挺难写的，后端的代码生成准备用啥？　LLVM?

infoq.com/cn
reddit.com/r/programming
Hacker News
各种 Google Reader 订阅

@summic 不贴出来那你已经做的事情意义就少了很多吧？

----->后端 Fedora -> git -> postgresql ->
|emacs -> ruby -> nginx
----->前端 html5 -> css3 -> javascript ->

@zhanghao1990 你说得对。
佛教的道理如同物理学的学习过程。佛的境界如同物理世界的终极理论，但是一个人上来就能明白这个理论吗。恐怕不能。所以佛陀用不同的方式去引导众生。
对于初学者，讲生死轮回。如同物理学讲惯性定律，牛顿力学。之后的禅密净土，又如相对论量子学。大乘小乘，原无对错之分，只有境界之高低。
各种理论终究是这个世界规律的近似，如郭襄张君宝无色同觉远的关系，是一部经书的各个侧面。
牛顿力学是是低速近似，那么可以直接讲相对论吗，恐怕不能，除非你有极高的智商，一般人没有浅显但是不那么正确的理论打底，恐怕理解不来高深但是更正确的理论。
所以佛说诸法空象，但是为了众生能理解也不得不说法。