王垠又出手了,这回谈编译器真是好高端,问问大家有啥想法? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
jason52
V2EX    问与答

王垠又出手了,这回谈编译器真是好高端,问问大家有啥想法?

  •  
  •   jason52 2013-03-28 23:33:53 +08:00 9699 次点击
    这是一个创建于 4657 天前的主题,其中的信息可能已经有所发展或是发生改变。
    谈编译器_王垠_新浪博客 http://t.cn/zT7KbKa

    Chez Scheme这个东西这么厉害。核心算法没有发表成论文,那就意味着就Kent 知道原理了?

    --------------厉害的分割线------------------
    Kent 单枪匹马的写出了 Chez Scheme,世界上唯一的商业 Scheme 编译器,并且为此成立了自己的公司(Cadence Research Systems)。Chez Scheme 价格不菲,并且不明码实价。它的价格跟项目的大小和公司的规模有关。小型商业用途的版权费一般在 2000 美元的样子。有些大公司花重金购买 Chez Scheme 用于一些核心的项目。有些公司为了保证这编译器的安全,又花了好几倍的价钱,买下了它的源代码。Kent 的公司只有他一个人,不用操心管理,也不用操心销售。所以他过的非常舒服,基本是一个不愁吃穿,不问世事的人。

    Chez Scheme 生成的“目标代码”效率之高,我还没有见到任何其它 Scheme 编译器可以与之匹敌。而它的“编译速度”之快,没有任何语言的任何编译器可以相提并论(注意我去掉了“Scheme”这个限定词)。Chez Scheme 可以在 5 秒钟之内完成从头到尾的自我编译。想想编译 GCC 或者 GHC 需要多少时间,你就明白差距了。

    ------------------------------------------
    19 条回复    1970-01-01 08:00:00 +08:00
    lookhi
        1
    lookhi  
       2013-03-28 23:58:48 +08:00
    不懂 路过
    momo5269
        2
    momo5269  
       2013-03-29 00:01:48 +08:00
    我倒是想知道Chun Tian怎么看
    hitigon
        3
    hitigon  
       2013-03-29 00:08:35 +08:00
    开起来很厉害,我上的编译器的课程一学期下来也就编写个最简化的语言的编译器,看来连Chez Scheme的毛都没碰到。。。
    cassyfar
        4
    cassyfar  
       2013-03-29 03:53:46 +08:00
    chez那个链接下面写着 chez是Cadence的trademark
    难道说已经被Cadence收了?Cadence尽然对这个有兴趣...
    wenbinwu
        5
    wenbinwu  
       2013-03-29 04:09:40 +08:00
    如果他真的搞了这么多东西,我想王还是很博学的(至少是相对于我,也可能是他发的东西我都是我比较崇拜的),不过我希望能看到他改变世界的一篇paper或者project。一个博物学家对于人类发展没什么意义
    chyiz
        6
    chyiz  
       2013-03-29 05:54:22 +08:00
    他把公司叫Cadence Research Systems,特地去查了下,那个Cadence应该是Cadence Design Systems。肯定是故意的……
    但貌似Cisco把它收了,详见:
    http://www.sec.gov/Archives/edgar/data/858877/000119312512140103/d325053dex992.htm
    y
        7
    y  
       2013-03-29 06:04:28 +08:00   1
    我觉得 v2ex 肯定是隐藏了一个王垠博客的 RSS feed.

    他的每篇博客我都不会错过 (_)
    fangzhzh
        8
    fangzhzh  
       2013-03-29 08:20:45 +08:00 via iPhone
    @y 233
    cassyfar
        9
    cassyfar  
       2013-03-29 08:23:34 +08:00
    @chyiz 这么恶作剧,我还以为cadence要下一步大棋,以前从没有感受到LISP在CAD的存在感
    sqbing
        10
    sqbing  
       2013-03-29 08:58:06 +08:00
    怎么看他的文章感觉在看武侠小说……
    放弃科学追求艺术那句话挺有意思的,可以作为一些人规避自我谴责的借口
    AustinLee
        11
    AustinLee  
       2013-03-29 09:20:23 +08:00
    完整自举 只要 5秒 与木有这么神奇嘛
    seeker
        12
    seeker  
       2013-03-29 11:15:03 +08:00
    我到时很在意雇佣他做秘密项目的“大公司”是哪家。
    y
        13
    y  
       2013-03-29 11:34:40 +08:00
    @seeker Cisco 嘛,上面的回帖里面都说了。
    thcode
        14
    thcode  
       2013-03-29 11:47:41 +08:00
    @chyiz http://www.scheme.com/ 这个页面下的公司名称是 Cadence Research Systems
    min
        15
    min  
       2013-03-29 14:10:47 +08:00
    讲得玄了点儿

    不过那个5秒编译自己的编译器,好像蛮牛的啊
    jason52
        16
    jason52  
    OP
       2013-03-29 23:37:25 +08:00
    @y 是的,今天他又出手了,开始说脚本语言的不是了。

    @seeker 这么牛可能是军方的咯。

    @sqbing 有同感。我都想总结一下他经常写的套路了。比如,一周灭掉一门学科。
    lemayi
        17
    lemayi  
       2013-03-29 23:47:12 +08:00
    王垠是谁?
    jiangplus
        18
    jiangplus  
       2013-03-30 00:40:32 +08:00
    好像cl生成的目标代码比scheme运行效率高一些,当然是跟racket比较,不知道这个如何
    dragonszy
        19
    dragonszy  
       2013-03-30 14:30:09 +08:00
    @lemayi http://kurttlin.diandian.com/post/2011-10-03/5502426 http://blog.sina.com.cn/yinwang0 很久以前看过他博客的某篇文章,虽不明但觉厉,可惜那时忘记加入收藏,甚是可惜。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2623 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 24ms UTC 09:36 PVG 17:36 LAX 01:36 JFK 04:36
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86