了解GHC的factorial编译过程

GHC相对其他主流语言的编译器或解释器还是比较复杂的，一部分原因是haskell本身的设计就不易于实现compiler，如lazy特性，static typed，类型推导等。

关于GHC的内部实现有篇文章说的挺好，这里，文中在RTS一节中详细说了haskell的concurrent实现，里面提到了green thread，如果熟悉Go语言的话就会发现，ghc的concurrent实现和Go有点类似，都强调一个复用的概念，把轻量级线程复用到OS线程上去，Erlang也是一样的意思，轻量级线程之间切换则有点不同，Go是IO或systemcall是切换，Erlang是reduce时间片切换，haskell则是在safepoint切换，这个safepoint则有点像JVM(hotspot)中的安全点，同时这个safepoint也是GC线程运行的切入点。

 

factorial可以说是FP领域的helloworld，看这里：Tracing the compilation of Hello Factorial!

文中把ghc如何一步步编译factorial函数的说的容易理解，毕竟比ghc的代码容易的多。

module Factorial where

fact :: Int -> Int
fact 0 = 1
fact n = n * fact (n - 1)

生成中间语言Core：

ghc -c Factorial.hs -ddump-ds