项目暂时结束 Ruby转C

SixRC

不知不觉又过了一年啦
一年前 我发了篇 某搞笑而高效的优化方法..Ruby翻·译
那时候我基本能把一段 Ruby 代码人工写成对应的 C 代码 效果挺好的 但是效率挺差的
要翻译一段代码 挺花时间的 主要是烦 就和流水线一样 让人疯魔
所以那时我就想 能不能自动转换啊 就没那么烦人了
不过那时候没实践 没想太多 (主要可能是懒)
哦不对主要还是在想 这玩意怎么写 得很难吧
得自动读取函数逻辑 我啥也不懂 有毒
得 先算了 就这样搁着了

然后上礼拜想起来这个问题
也不知道当时怎么想的 就开始搞了
于是先开始看 Ruby 源码 想看它怎么实现的
看啊查啊的就知道了词法分析和语法分析
于是抛开源码 开始查 啥是词法分析啥是语法分析
然后开始看书 开始学
搞懂了基本概念 然后回过来想到 ruby 用了 bison
然后 哦 这什么玩意 嗯 语法分析工具 怎么用 哦 这样
然后继续开始搞 有问题查 看文档  想想想
每天就是 除了吃饭睡觉打坛游上课 几乎就想着这玩意了 像是
今天收获不错 写了if 完成了 and or 的短路处理 不过那个规则还能这样那样改
我靠要去上课了 这个bug还没修
什么 我没吃饭吗 我说我怎么感觉这么饿
这歌好听 听着歌好像效率高了
...等等等
我也不记得最开始从哪个部分开始的了
不过自从慢慢搞懂大致逻辑后 基本就是靠之前的东西写语法规则和相应的c语句逻辑
前天可能是写完了读取函数名称 这个最不核心的东西
然后想着把 RMXP 的原生脚本都处理一遍
然后 呃 我又觉得烦了 就没进行了
因为我写了针对逻辑语句的处理 但没写for 还有块的处理
因为这个 1.8.1 的版本就没支持从c传入块 反正我没翻到 逻辑和我想的不太一样 就得先手动处理一下再自动处理再手动修正一下
循环我是加了goto去实现的 总之得自己先处理一下
再总之就是 得先浏览一下ruby代码 看看有没什么语法分析不能解析的 改改 再丢过去
怎么说呢 学习和探索 思索的过程是有趣的 而机械劳动就很无聊了
处理到了 Game_Battler 2 就没继续处理下去了 因为也没啥意义
哎哎 虽然写了自动处理的工具 效率比一年前高了百倍 还是因为懒而屈服了
所以 暂时结束项目 状态成功 虽然不完美 日后慢慢整吧

收获 应该还是蛮多的
原来语法分析还是挺好实现的 毕竟 lex 和 yacc 就放在那 又不要求把算法自己实现一遍
实现了自己搁了一年的想法
遇到想做的事情了 得有一种去干架的气势吧
真的想着要把它做好 不死不休 大概会比较有杀气 专杀遇到的问题
不管什么事情 不做总归不会成功 试试再说吧
我以前一直真的 没法理解语法分析这个东西 然后其实 还好吧 谢谢 yacc
果然技术与知识改变生活啊

fux2

翻译的话可能难度就太大了，一般就是拿到地址直接用
常用的函数其实也不多，funcall和define的几个都拿到就差不多了

在C里面写代码块好像也没什么问题？（我没实验过
RETURN_ENUMERATOR和rb_yeild ，xx我都忘了（死

SixRC

fux2 发表于 2019-3-29 18:24
翻译的话可能难度就太大了，一般就是拿到地址直接用
常用的函数其实也不多，funcall和define的几 ...

嗯 写块是没问题的 就是好像不能传递块
funcall 传递的参数是函数的参数 块是另一个机制
我也不太懂 应该是块不是直接参数 而是一个环境要素
ruby解释器执行的时候会把块加入环境中
然后 block_given? 据此告知有没有块
yield 就执行那个块
我不知道怎么在c里直接把块加入这个环境中
就用了替代做法
新建一个方法作为块 然后eval xxx.xxx(a,b,&(method(:block)))
也不错
先不研究了 啥都没坛游有意思 赶紧打架

guoxiaomi

印象中ruby2.6好像添加了语法树的功能？

M.Winderic.

N久没翻坛子了，顶着坟回，安慰一下搞编译的……
Emmm，似乎真的一年了呢……
脑壳疼是搞编译的日常，毕竟过于硬核，真玩这个的太少了。
讲真，非ProofOfConcept的编译器都很脑壳疼……
不过，词法分析也好，语法分析也罢，这些【frontend偷起懒来，也就一个下推自动机】和那个只有两个栈的“表达式求值器”没啥本质区别。（CompilerCompiler其实是很笨重的，不过那就是另一回事了……直观感受就是TCC好有道理。
Ruby好用不只在于它的语法【其实CC严重地拖累Ruby表达力的后腿了】，灵活的Block闭包上下文传递才是最好用，也是脑壳疼的地方。
闭包怎么传，这个问题就很玄学了。GC问题就更玄学了，以后再说了……
啥都不管，Force模拟，就是经典解释器模型。
跑VM，把CPU架起来，就是大多数工业编程语言的模型。
真要带着lambda玩就必然涉及JIT，不过JIT最适合跑在RAM上，跟Cache天生不合，而现代计算机全靠cache就很那啥了说。
> 理论上，完备的JustInTimeOptimisiveCompiler是不存在的。
上边那句话的意思和哥德尔不完备定理差不多……
IR怎么弄其实全靠对控制流和数据流的理解。
AST只是传统工业流水模型下的一种解决方案，就是：什么理解都没有。
LISP的话，咱不是很懂……不了解……
摸着石头过河吧……

寒冷魔王

编译到 C 的话，因为是机器翻译，闭包学习一下 C++11 的实现，可以搞成 functor ，也支持 mutable capture 。（这种只适合静态编译）
不知道你要翻译成哪种形式，其实要是直接翻译成中间码的话，还算好实现的。

C 也可以通过 jit 实现闭包，动态生成函数，这样可以在 eval 的模式下使用。

Ruby 转 C ，如果不对翻译以前的代码进行约束的话，翻译后的 C 必然带一个小型的 runtime （或者你可能直接用 ruby.h 来做），其实性能上可能还不如原生 cruby 。