又一个玩具 Scheme 解释器,使用 Python 编写 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
kcworms
V2EX    Lisp

又一个玩具 Scheme 解释器,使用 Python 编写

  •  
  •   kcworms 2015-03-14 21:49:40 +08:00 6672 次点击
    这是一个创建于 3929 天前的主题,其中的信息可能已经有所发展或是发生改变。

    其实在本站搜索可以找到已经有人写过了(顺便里面提到的lispy非常值得参考),这个的功能绝对没有希望……不过这个应该有一些特别的地方:

  • 与SICP第四章4.1.5节之前做的元循环求值器对应,但是使用了OO风格(基本就是照着书抄代码,又轻松又快乐……使用了OO,有点类似前几章提到的消息传递风格)
  • 暂时不到500行(不包括空行,注释,测试)
  • 这种玩法真的比做无聊的习题好玩得多
  • 现在的状况是可以运行练习2.42(八皇后谜题的那个)的代码,但是参数设成5就会突破Py递归深度上限。除法和浮点数都不能用!

    这个项目应该可以完成第四章的使命,等做到4.1.7节分离语法分析与求值过程之后顺便加一下尾递归优化应该可以把上面的问题解决……

    Repo

    第 1 条附言    2015-03-16 19:51:41 +08:00
    4.1.7节的优化已经弄好了。令人感动的是原来能解(queen-louis 5),现在只能解4了。虽然速度是快了很多,果然eval本身还要改成迭代
    第 2 条附言    2015-03-21 23:07:35 +08:00
    在寻找修改eval的方法中偶然发现伯克利的SICP课程也用这种玩法……
    https://inst.eecs.berkeley.edu/~cs61a/fa12/
    第 3 条附言    2015-03-24 20:18:16 +08:00
    加上了两个对于玩具来说比较强大的功能:
    尾递归优化(只消除尾递归,而不是所有tail-call)
    递归无上限,直到用完内存
    假冒的traceback

    不科学的性能比较:
    八皇后习题中queens过程,用时是Racket的100倍
    递归定义的阶乘过程,用时是Racket的2倍(真不科学)
    第 4 条附言    2015-07-02 10:51:04 +08:00
    应该是最后一次更新了:
    加入call/cc
    去掉了假冒的traceback,并优化所有tail-call
    继续补充基本过程

    结果是可以运行原来书上的那个元循环解释器了。对于call/cc至少维基百科页面里的generator例子是可以运行的。

    最后是令人悲伤的性能:
    对于(queen 8),Racket用了0.6秒。TSI在加上PyPy魔法之后用的时间居然是前者的30倍
    目前尚无回复
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     3599 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 24ms UTC 10:29 PVG 18:29 LAX 02:29 JFK 05:29
    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