主题：【讨论】龙芯什么时候能配上中文计算机语言编译的源程序？ -- 唵啊吽

强类型能在编译期发现错误，编译期发现错误好过链接，连接发现好过运行时，这个基本是老生常谈了，认真点的大学生都知道，更别提吃这碗饭的。

诸如命令式，结构化，lambada表达式，谓词演算等等，没人会去搞中文化，正如也没人会去英文化。

把这些概念往哲学靠没什么好处，第一，所有这些概念都可以从之前的实践直接推出来，不需要从哲学家的大部头出发，哲学概念可以作为启发，但不必要；第二，状态机模型装不下准确的哲学概念。

所谓对象，其核心概念从C语言开始涌现的时候就是“状态结”，人开始使用句柄的时候实际就开始使用对象了。

所谓反射，就是访问的静态成员和方法表。

所谓泛型，最开始就是宏的增强形式，最开始是IBM的人用宏实现了任意类型的stack，后来Bjarne用类型手段增加其安全性。

所有这些概念的理解都不需要用到哲学，所有这些概念的讲解也不要用到哲学（当然方便时可以类比），所有这些概念的创造都来自基本实践。（以上哲学指出现过的，进入哲学课堂的哲学知识）

我大学的时候也认为应该运用已有哲学知识指导编程技术发展，增加新的概念，现在觉得这么做是增强木桶的长板（表达力），削弱短板（调试）。

我不否认哲学能训练思维，增加洞察力，我看的哲学书还多过技术书，但是软件专业的比起其他专业的，并不更多依赖哲学。