人生中写的第一个 Scheme 方言

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

爱意满满的作品展示区。

这是一个创建于 3338 天前的主题，其中的信息可能已经有所发展或是发生改变。

11 条回复 • 2015-10-09 21:11:25 +08:00

htfy96

2015-10-05 16:10:44 +08:00

S 表达式支持完全吗？

lcj2class

2015-10-05 17:23:49 +08:00

@htfy96
scheme 中的 cons 、 car 、 cdr 、 list 都支持了。

htfy96

2015-10-05 20:32:37 +08:00

lcj2class

2015-10-05 23:29:03 +08:00

@htfy96
我感觉把这几个 quote 实现了，基本上就把 macro 给掌握了。
想想也不难，就是在 eval S-表达式时对这些 quote 符号进行特殊处理即可。
实现 eval 函数本身更直接了，直接对后面 S-表达式两次求值即可。

ethego

2015-10-06 10:34:26 +08:00 via iPad

我想知道匿名函数在解释器内部的实现机理，楼主对这个有什么心得或者理解吗？

ethego

2015-10-06 10:35:20 +08:00 via iPad

我想知道匿名函数在解释器内部的实现原理，楼主对这方面有了解吗…？

lcj2class

2015-10-06 11:48:21 +08:00

@ethego
匿名函数没什么特别的呀。有名字的函数，其实是匿名函数的语法糖衣，本质上还是匿名的。
JScheme 匿名函数也支持，你感兴趣可以看看。
不过匿名函数无法直接实现递归，需要借助 Y 算子。

codecrash

2015-10-07 16:15:35 +08:00 via Android

@lcj2class Y 算子是什么

yxcxx

2015-10-08 22:16:38 +08:00

lcj2class

2015-10-09 09:47:41 +08:00

@yxcxx
@codecrash
大刘这的这个文章，个人觉得啰嗦了，觉得看起来比较吃力，当然，大刘是吧他思考的过程写出来了，可以参考。

FYI ，我目前觉得理解 Y 算子最好的文章应该是这个
http://shellfly.org/blog/2015/01/07/yi-the-y-combinator-slight-return/

yxcxx

2015-10-09 21:11:25 +08:00

@lcj2class
谢谢推荐