关于

English

欢迎来到我的博客『中间表示 (IR) 』。

我是一个因兴趣而编程的学生,喜欢研究代码编辑器和程序语言的设计和实现; 热爱小动物(比如蛇)和运动(游泳,足球和悠悠球)。

一般使用『ice1000』,『千里冰封』或『Tesla Ice Zhang』作为我的 ID 。

这个博客的名字的含义

如果翻译器对程序进行了彻底的分析而非某种机械的变换,而且生成的中间程序与源程序之间已经没有很强的相似性,我们就认为这个语言是编译的。彻底的分析和非平凡的变换,是编译方式的标志性特征。

– 《 Programming Language Pragmatics 》

如果你对知识进行了彻底的分析而非某种机械的套弄,在你脑中生成的概念与生硬的文字之间已经没有很强的相似性,我们就认为这个概念是被理解的。彻底的分析和非凡的变换,是获得真知的标志性特征。

– 我的一个朋友

博客政策

所有这个网站的博客和文章都采用 知识共享署名-非商业性使用-禁止演绎 4.0 国际许可协议

友情链接