C++博客-λ-calculus-随笔分类-Vczh Lazy Scripthttp://www.cppblog.com/vczh/category/6824.htmlVczh Free Script 2.0 New Features Developingzh-cnMon, 19 May 2008 12:53:34 GMTMon, 19 May 2008 12:53:34 GMT60关于类型推导的设想http://www.cppblog.com/vczh/archive/2008/04/28/48294.html陈梓瀚(vczh)陈梓瀚(vczh)Sun, 27 Apr 2008 18:16:00 GMThttp://www.cppblog.com/vczh/archive/2008/04/28/48294.htmlhttp://www.cppblog.com/vczh/comments/48294.htmlhttp://www.cppblog.com/vczh/archive/2008/04/28/48294.html#Feedback0http://www.cppblog.com/vczh/comments/commentRss/48294.htmlhttp://www.cppblog.com/vczh/services/trackbacks/48294.html
Lazy Script的语法实在是很复杂，因此不得不在进行第一步的名字检查之后把原本的语言转换为内部使用的一种元语言。这种元语言设计的原则是尽量简单。譬如列表构造和do-end语句就需要被转换掉。进行了转换以后，就需要对元语言进行一个类型方程组的建立。这一步暂时还没有建模好，而且实际工作需不需要真的构造出一组方程组还不知道。目前还比较没有头绪的就是如何对模板函数的类型方程建模。

举个例子，譬如我们对上一篇文章中提到的代码进行类型方程组的构造：  阅读全文

陈梓瀚(vczh) 2008-04-28 02:16 发表评论
]]>Vczh Lazy Script 语法分析器完成http://www.cppblog.com/vczh/archive/2008/04/22/47841.html陈梓瀚(vczh)陈梓瀚(vczh)Tue, 22 Apr 2008 12:03:00 GMThttp://www.cppblog.com/vczh/archive/2008/04/22/47841.htmlhttp://www.cppblog.com/vczh/comments/47841.htmlhttp://www.cppblog.com/vczh/archive/2008/04/22/47841.html#Feedback4http://www.cppblog.com/vczh/comments/commentRss/47841.htmlhttp://www.cppblog.com/vczh/services/trackbacks/47841.html
藉着去年开发的Syngram工具包，这两天过得还算轻松，仅仅对语言做了一份配置，不过这份配置也花掉了1200多行代码。语法分析其余的部分是数据结构。目前的数据结构仅仅用于再现语言的结构，而没有附加任何的数据。接下来的工作是检查所有的identifier，看看有没有哪些identifier是使用错误的。一般来说都是在左值使用函数、类构造标签参数不全、转移运算符指向的函数并没有声明成函数等等比较基本的东西。但是后续的工作就相当地麻烦了。

作为一门lazy+pure的函数范式程序语言，我模仿了Haskell的大部分语法，加上自己的一点点修改（因为Haskell的语法实在是太诡异了），但是主要功能是没有变化的。等上面所说的identifier完成以后，我就要开始写Lazy的类型推导程序了。类型推导程序用于计算出代码中省略的类型声明，相当于把整份代码转换成类型方程然后求解  阅读全文

陈梓瀚(vczh) 2008-04-22 20:03 发表评论
]]>Vczh Lazy Script 上下文无关文法http://www.cppblog.com/vczh/archive/2008/04/21/47720.html陈梓瀚(vczh)陈梓瀚(vczh)Mon, 21 Apr 2008 04:50:00 GMThttp://www.cppblog.com/vczh/archive/2008/04/21/47720.htmlhttp://www.cppblog.com/vczh/comments/47720.htmlhttp://www.cppblog.com/vczh/archive/2008/04/21/47720.html#Feedback3http://www.cppblog.com/vczh/comments/commentRss/47720.htmlhttp://www.cppblog.com/vczh/services/trackbacks/47720.html Expression ["," ExpList]
ArrCmList -> [LeftValue "<-"] Expression ["," ArrList]
CaseList -> LeftValue ":" Expression ";" [CaseList]
DoList -> ([LeftValue "="]Expression | LeftValue "::" TypeDes ) ";" [DoList]
WhereList -> (FuncHead | FuncBody) ";" [WhereList]

Exp0 ->
Exp0 -> FuncName
Exp0 -> "(" [ExpCmList] ")"
Exp0 -> "[" [ExpCmList] "]"
Exp0 -> "[" Expression "|" ArrCmList "]"
Exp0   阅读全文

陈梓瀚(vczh) 2008-04-21 12:50 发表评论
]]>Vczh Lazy Script 语法描述http://www.cppblog.com/vczh/archive/2008/04/21/47719.html陈梓瀚(vczh)陈梓瀚(vczh)Mon, 21 Apr 2008 04:49:00 GMThttp://www.cppblog.com/vczh/archive/2008/04/21/47719.htmlhttp://www.cppblog.com/vczh/comments/47719.htmlhttp://www.cppblog.com/vczh/archive/2008/04/21/47719.html#Feedback2http://www.cppblog.com/vczh/comments/commentRss/47719.htmlhttp://www.cppblog.com/vczh/services/trackbacks/47719.html阅读全文

陈梓瀚(vczh) 2008-04-21 12:49 发表评论
]]>