松本行弘(Ruby发明者):Emacs怎样改变了我的人生
原文(英文版本)见这里.
以下是我的翻译兼一些背景资料:
1980年,我开始编程.
Basic,400 steps (此句不知如何翻译)
1988年,我遇到了Emacs,在学校的Sun-3上,和200多个学生共用.
Emacs实际上是被禁止使用的,因为消耗太多内存.所以我只是尝试了一下.
我可以自由下载Emacs并阅读其源代码.
Emacs是我的第一个Lisp解释器.
从Emacs我学到了很多关于语言实现的知识.
例如,emacs的整数实现(Embedding integer in pointers)
参考Lisp_Object定义,在Emacs源代码的lisp.h中,Lisp_Object是一个既可以作为指针使用又可以作为整数使用的类型 具体代码见下,注意Lisp_Int为0,使得非负整数可以直接转换为对应的List_Object类型:
#define VALBITS 29
#define GCTYPEBITS 3
enum Lisp_Type
{
Lisp_Int = 0,
/* Symbol. XSYMBOL (object) points to a struct Lisp_Symbol. */
Lisp_Symbol = 2,
/* Miscellaneous. XMISC (object) points to a union Lisp_Misc,
whose first member indicates the subtype. */
Lisp_Misc = 3,
/* String. XSTRING (object) points to a struct Lisp_String.
The length of the string, and its contents, are stored therein. */
Lisp_String = LISP_STRING_TAG,
/* Vector of Lisp objects, or something resembling it.
XVECTOR (object) points to a struct Lisp_Vector, which contains
the size and contents. The size field also contains the type
information, if it's not a real vector object. */
Lisp_Vectorlike = 5,
/* Cons. XCONS (object) points to a struct Lisp_Cons. */
Lisp_Cons = 6,
Lisp_Float = 7,
};
typedef union Lisp_Object
{
/* Used for comparing two Lisp_Objects;
also, positive integers can be accessed fast this way. */
EMACS_UINT i;
struct
{
EMACS_INT val : VALBITS;
enum Lisp_Type type : GCTYPEBITS;
} s;
struct
{
EMACS_UINT val : VALBITS;
enum Lisp_Type type : GCTYPEBITS;
} u;
}
Lisp_OLisp_Stringbject;
又例如Emacs的内存自动回收机制(Mark and sweep garbage collection)
具体细节参考这里的讨论.
C和Lisp的Calling conventions(不好翻,基本上就是函数如何调用,函数参数的内存模型之类…)
我完全理解Lisp怎么工作的
我被Lisp Objects迷住了
当我得到Sparc工作站时我开始使用Emacs
我完全被迷住了,Emacs成为我的一部分
而且Emacs任何我不喜欢的部分我都可以改,Emacs完全可配置.
Emacs使我明白了任何东西都可以被程序员改变
完全的自由
编辑时可以无视键位设置
我想用Emacs做所有的事,编程,文档,邮件…
所以我写了"cmail",我的第一个严肃的Lisp程序,我每天用它
1993年,我开始搞我的Ruby
Ruby的设计受到Emacs实现的影响,例如整数和tagged pointer合用,相似的GC,和Lisp类似的Object Model
tagged pointer的细节请参考上文的C代码,高地址的3bit用作判别数据类型,低地址的29bit用作指针或者整数(取决于数据类型)
接下来我把Smalltalk的OO系统加上去
语法我用Algol/Ada/Eiffel
但是我是Emacs狂,所以在Emacs中支持auto-indent是必须的
在1993年,类似的语法要支持auto-indent很难
所以我就写了自己的ruby-mode.el,试图用elisp和正则表达式(regex)解决这个问题.
一个礼拜后,我在给Ruby加上end关键字后终于成功了
如果我不能让我的emacs下的ruby-mode成功,那么Ruby的语法会更像C
这样就和其他脚本语言差不多,Ruby也不会那么受欢迎
小结
- Emacs教我什么是软件自由(freedom for software)
- Emacs教我如何读代码
- Emacs让我认识到Lisp的威力
- Emacs教我如何实现语言核心
- Emacs教我如何进行内存自动回收(Garbage Collector)
- Emacs有助于我写代码和调试
- 我用Emacs写j文档邮件
- Emacs让我成为高效程序员
- Emacs让我成为黑客
- Emacs永远改变了我的人生