大纲:一封关于我的研究的邮件回复

2011-04-27 11:16:08
  恩,应该是归类于元语言。我是得总结一下,以便向专业人士说明我的研究。 
   
  关于Intention-oriented programming我了解过,没什么太新鲜的东西,从我的角度来看,达不到目标。最接近我的想法的是John McCathy的elephant编程语言。按照我的层次论,elephant达到了我说的第三层,其余的都在第一层和第二层徘徊。我的设计也主要体现在第四层,第五层是未来的研究方向。 
  参见:http://www.douban.com/note/147585386/ 
   
  从技术指标来看: 
  1 抽象能力接近自然语言和图表的方式。 
  2 运行效率达到c语言的程度,由于是JIT方式,整体效率会比c更高。 
  3 颠覆一些传统概念,编码,编译,运行三个过程融为一体,设计期和运行期也不会有截然的鸿沟。 
       4 以一个统一的框架容纳现有不同种类的语言,包括各种高级语言和XML等结构化文本,可以进行混合调用和编程。
   
  从研究纲领上看: 
  1 从逻辑编程语言上切入,优化为机器码也是以逻辑的方式进行。 
  2 将分析哲学中对各种语言问题的分析代码化,做为该语言的基础设施。 
  3 在初步的统一编程语言的基础上继续探索语言和形式系统的奥秘,也就是我们所在的这个世界的奥秘,将分析哲学变成一门技术性很强的学科,并逐步扩展到其他领域,例如数学和物理,甚至是法律和道德。 
   
  方法论上,我最看重的一点是: 
  真实世界过于复杂,与语言的纠缠关系难以梳理,不如先退回到图灵机所构造的确定性世界,在这个世界中探索语言的奥秘。比如将”独角兽是否存在“这种问题,变成”在这个世界中,长度超过100的数组是否存在“的问题。 
   
  从具体产品形态上看,正在制作的产品具有以下特征 
  1 类似emacs,同时包括了编辑,调试和运行,至少包括了现代IDE所具有的各种优秀特性,还包括现在所没有的诸多特性。 
  2 采用语法定义的方式兼容现有语言,并让这些语言可以在一个共同的语义基础上互相调用,混合编程。 
  3 对面向对象的思想进行一次全面的清理,提出新的设计方法论,以取代这种在落后哲学观基础上产生的错误理论。 
   
  这个阶段也没什么可以宣传的,用产品原型说话足够了。
::...
免责声明:
当前网页内容, 由 大妈 ZoomQuiet 使用工具: ScrapBook :: Firefox Extension 人工从互联网中收集并分享;
内容版权归原作者所有;
本人对内容的有效性/合法性不承担任何强制性责任.
若有不妥, 欢迎评注提醒:

或是邮件反馈可也:
askdama[AT]googlegroups.com


点击注册~> 获得 100$ 体验券: DigitalOcean Referral Badge

订阅 substack 体验古早写作:


关注公众号, 持续获得相关各种嗯哼:
zoomquiet


自怼圈/年度番新

DU22.4
关于 ~ DebugUself with DAMA ;-)
粤ICP备18025058号-1
公安备案号: 44049002000656 ...::