Skip to content

Python实现的Scheme方言,支持宏、continuation、lambda、各种基本类型等等,可以直接Python解释执行,也可以编译到JavaScript。编译到JS可以与JavaScript动态交互(互相调用)

jiangzhw/SchemePy

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

SchemePy

A Scheme Compiler written in Python, with features of func, macro, continuation, etc. 最终目标是借助scheme方言作为中间语言,将包含核心特性的PHP代码最终编译成java/javascript,甚至可以做到将PHP项目编译成java servlet并打包成war运行。 如果真的达到这个目标的话,也就可以改名叫miniPHP了,不过任重道远啊!

==== Requirements:

  1. Python2.7

  2. pip install ply

  3. 代码需要是UTF-8格式,否则中午可能乱码

==== 2013/6/10 项目开始后的第三天,已经花了几个小时了,目前实现了scheme代码的一些基本元素,可以解释执行了 目前包括的特性包括:scheme宏defmacr、有问题的call/cc、函数defn、lambda、define/set、数(包括正负的long、float型)、字符串(字符串可以跨行,相当于python中的"""的效果)、列表、quote、display、注释,还有一些内置函数 core.ss是作为实现的scheme的核心库的,在系统启动时加载,示例代码test.ss包含了一些已经实现的功能的demo,包括定义宏、定义函数、fibonacci数列等

continuation设计失误,开始想好了,结果因为实现时写着写着就忘了,导致现在才发现问题。没有将每一步的操作都放到continuation再执行,导致call/cc在参数中无法接受结果,也就是(cont ret)的ret无效。 但使用时如果使用一个全局变量存放返回值用来通信,一样可以达到目标,只不过没有scheme标准中的call/cc使用起来优美方便。 暂时先把这个问题抛下,在编译阶段改正

TODO:第4步和第7步可以作为两条支线分别执行

  1. 将scheme代码进行宏展开成核心scheme元素构成的代码并确保可以解释执行展开后的代码,过程中的宏要保持下来,不要扔掉. DONE. at 2013/6/14
  2. 完善scheme的基础元素,主要包括列表、hash-map. DONE. at 2013/6/14. 具有list, count(计算List大小), nth, hashmap, hashmap-get等内置函数和类型. DONE. at 2013/6/24
  3. scheme的函数重载功能,对应的Env的存储形式要略作修改
  4. 将PHP代码语法解析成LISP形式
  5. 对照PHP解析出的LISP形式编写scheme宏
  6. 实现解释执行PHP解析出的LISP形式
  7. 将核心scheme元素组成的scheme代码编译成Java代码/java字节码/JavaScript. PARTIAL DONE. at 2013/6/24. Compile to JS

==== 2013/6/14 今天花了点时间把scheme代码做了宏展开功能。并且做到了宏展开后的代码执行结果与解释执行一致。 其实之前解释执行的阶段宏也是先展开然后再执行的,所以这一次只不过调用了下原来写的函数再做些修改就实现了这个功能。 demo中展开后的代码放在macro_expanded_code.tmp文件中。因为函数和宏的值是要再将来编译时转换成目标语言的,所以目前作为值的函数和宏保留,其他的宏求值都已经展开了。 另外,增加了几个内置函数。 下一步的主要目标是用对PHP代码进行语法解析,并创建各种PHP语法对应的scheme宏和PHP类型。PHP类型暂时用列表实现。或者在scheme中添加基本的对象系统,作为PHP类和对象的基础。

==== 2013/6/24 为了性能考虑,决定在解释执行时保留continuation的方式,但编译时不用continuation的模型,而是对图灵机的模拟,用PC计数代表continuation。 同样,为了性能,已经将来方便部署,首选编译目标Golang,其次C/C++和JavaScript,再次Java。如果编译到C的话主要要解决字符串的不可变性,所以可能编译成C++ 目前编译到js,其实只是将宏展开后的结果转成js版的对js的对象自身解释执行,此编译的作用在于去掉了宏展开和编译时优化的时间,已经借用js on V8的高性能平台。 但要达到足够高的性能,去掉continuation,编译成命令式风格的Go/C/C++还是需要的。 今天已经完成了将Scheme代码编译到单独一个js文件,并且保留所有特性,包括宏、continuation、lambda等等,可以在node.js和浏览器中运行,可以与JavaScript互相调用,不过在浏览器中运行时,因为console.log最后会换行,所以编译出的程序每次输出也会多一个换行符。 虽然没有做过测试,但相比性能也不会好到哪去。要改变这个状况,估计要将目前continuation记录整个接下来下执行程序的列表的方式改变,改成对图灵机的模拟,用PC计数代表,或者去掉continuation特性, 编译成传统命令式风格的代码。后一种方案虽然动态性弱一些,但性能应该会有大幅提高。有空我会去看看其他人的一些实现,目前我的编译原理和scheme的学习基本都是自己摸索着做的,没有系统学习过,也许现在看看别人的实现会更有好处。 下一步就是真正实现编译到C/C++/Golang,以及将PHP代码用LISP宏展开语法并实现运行,以及编译时优化(尾递归优化、内联优化等)。 目前发现宏功能似乎有点BUG,有时会失效(效果与预期不同),或者是我设计的用法不方便。 demo(test1.ss)中有函数、宏、与JS的互调、利用NODE的HTTP模块简历web server等等。 编译参数的JS代码依赖的运行库使用TypeScript写成编译成JavaScript并嵌入最终生成文件中。 在项目目录下运行rake(ruby 的Rake)可以编译例子以及用nodejs运行产生的代码(out/test1.ss.js),运行后的效果是建立一个web服务器(5000端口)

About

Python实现的Scheme方言,支持宏、continuation、lambda、各种基本类型等等,可以直接Python解释执行,也可以编译到JavaScript。编译到JS可以与JavaScript动态交互(互相调用)

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published