当前位置:首页 > 开发 > 编程语言 > 编程 > 正文

了解GHC的factorial编译过程

发表于: 2012-03-22   作者:bookjovi   来源:转载   浏览:
摘要: GHC相对其他主流语言的编译器或解释器还是比较复杂的,一部分原因是haskell本身的设计就不易于实现compiler,如lazy特性,static typed,类型推导等。 关于GHC的内部实现有篇文章说的挺好,这里,文中在RTS一节中详细说了haskell的concurrent实现,里面提到了green thread,如果熟悉Go语言的话就会发现,ghc的concurrent实现和Go有点类

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

了解GHC的factorial编译过程

  • 0

    开心

    开心

  • 0

    板砖

    板砖

  • 0

    感动

    感动

  • 0

    有用

    有用

  • 0

    疑问

    疑问

  • 0

    难过

    难过

  • 0

    无聊

    无聊

  • 0

    震惊

    震惊

编辑推荐
  大一的时候,学习c语言,用的是VC6.0。用了1年多,到后来了解了Linux,知道了gcc编译器,开始使
CLR 是如何找到托管代码的入口方法并对其 Jit 的呢? Jit 的发生过程是怎么样的呢? Jit 编译器和 &
下面分步描述了创建事件侦听器时执行的过程。在本例中,您将创建一个侦听器函数,在单击名为 myButt
我们最初开始接触编程的时候或多或少的都会先使用IDE,这也使得我们很少接触到编译这块内容。 一、
编译过程 当我们的源代码如下: #include <stdio.h> int main(int argc, char **argv) { prin
由程序生成可执行文件经过了预编译——编译——汇编——链接的过程。其中编译的步骤分为:词法分析
我们知道,.net编译器在生成托管代码时会将一些重要信息写入PE文件的header和.text section(<spa
Linux内核编译过程 —— Linux-3.18.1 ----cnyinlinux 前奏: Linux系统是一个完全开源的操作系统,
计算机编译程序的基本过程 编译程序是将高级语言的源程序翻译成与之等价的目标程序(汇编语言或机器
本人是只菜鸟,没有接触过OpenWrt,只是平时都是在Linux下做开发。习惯了Linux的开发环境。 本人的
版权所有 IT知识库 CopyRight © 2009-2015 IT知识库 IT610.com , All Rights Reserved. 京ICP备09083238号