若水计划
—
由
在确定了三大定理后，一个想法就是将相关的理论和工作迁移过来，然而还是缺乏有明显的可操作性和发展空间的选项。直到…
似乎可以直接从一般的语言来考虑编译器。 反例：① 源语言和目标语言不能完全互相翻译，则不满足调整公理，② 符号…
这几个月搬到山东了，现在晚上终于比较有空了。 感觉到编译成c++和编译成会汇编码，实际上工作量可能差距不大，现…
语形之下和语形之上 经过一系列复杂的分析，发现其实编译器可以分成两个层面：语形（Syntax）之下和语形之上。…
没有一个一般的方法，通常的方法是以一个语言为例子，完整地介绍语义相关的全部工作。这种思路不是太让人满意，因为这…
希望能在2025年1月前就出一个demo，作为0.000000001版本。 为了简洁，很多东西这里不提了。 语…
