NalaGinrut

GNU Guile-2.2 will be based on brand new backend, CPS(continuation passing style) as the most significant IR, and a RegisterVM. These are the prerequisite for the final AOT compiler. The old Guile-Lua is old for compatible with the brand new RegisterVM, moreover, it uses LL(1) which is painful for hacking. I've rewritten the parser with LALR and all the intermediate part before transfer it to Tree-IL which is another iR before CPS. Besides, I'm trying to add type-inferencing and partial-evaluation for Lua specific optimizing. Although there's partial-evaluator in Guile backend, it's a generic one for all the front-end languages.

I'm trying to write a static analyzer for Lua programming language. And I've ready done some parts, say, lexer/parser/AST/types...etc. The challenge part at present, is to write comment-based type annotation, for later type-inference. I plan to implement it in a week. I've spent years on this area. Hope I'm lucky in hackweek.