海归论坛 :: 阅读跟帖 - 唉，终于来了。

论坛首页 | 排行榜 | 在线私聊 | 专题 | 版规 | 搜索 | RSS | 注册 | 活动日历


主题: rationese语言----计算机语言的终结者，新文明的开端

海归论坛首页 -> 海归商务 -> 项目找投资与合作焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

分屏

表形显示

阅读上一个主题 :: 阅读下一个主题

作者

rationese语言----计算机语言的终结者，新文明的开端

所跟贴

好像uda的头很痒，很渴望拍砖的样子，那我就来拍一个吧！ -- Sarakawa - (521 Byte) 2010-12-18 周六, 00:43 (725 reads)

uda1341

头衔: 海归中尉
声望: 讲师

加入时间: 2009/09/01
文章: 110

海归分: 4371

标题: 唉，终于来了。 (677 reads) 时间: 2010-12-18 周六, 01:26

作者：uda1341 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

最高原则是：语言的表现力，抽象力，所有的设计都是围绕这个。

1 关于时态

中文时态描述能力弱但不等于中国人没有时态概念，这是中国人能学会英语的必要条件。我们在说话的时候虽然没有显式的用到时态表达，但我们可以从语义上知道事件和动作的时态。

关于为什么要有时态，很简单，看几个例子就知道了：

事件：鼠标划了一个圈动作：刷新页面

鼠标划了一个圈是什么意思呢？意思是从过去某个时刻到当前时刻，鼠标消息为 mousedown n{mousemove} ，而且这些mousemove的参数符合一个圆形的模式。

好，在如今流行的程序语言中，只能访问当前值，所以，程序员必须把每个鼠标位置记录在一个数组中，然后进行判断。

有了时态概念的支持，这门语言就可以不需要任何显式的记录，而是直接访问过去的状态，并将其定义为一个事件就可以了，事件定义的方法是：取出过去数个时刻的状态，去匹配某个模式（这里的模式是一个圆），如果匹配成功，则事件响应被激活。

从这里可以看出，没有时态概念和记忆机制，我们根本无法表达延续性的事件（这个事件是从过去某个时刻开始发生，持续到现在某个时刻）

再举一个例子：

在游戏中，如果游戏者使用某件武器超过50次，这种武器的效果就减去10%。

使用现有语言怎么写呢？仍然要显式的记录。
而使用这门语言就不需要，它可以回忆历史上所发生的事件（对应于动作），写起来非常简单自然。更重要的是，如果这个功能是新加上去的需求，那么按照现有的语言，就得重构，增加数据结构。而如果使用这门语言，就根本不需要。

也许你会觉得记录所有历史状态代价过高，但有一种方法可以让这种代价几乎降为0，因为对于一段代码，如果你给定确定的输入，那么它在未来任何时候的状态，都是可以计算出来的，这也是语义分析的应用。

语义分析：
程序语义学方面，有Hoare的Hoare logic，还有Temporal logic，都在程序正确性证明和验证上取得了不少进展，要不Hoare也不会被挖到微软剑桥研究院。

但是他们在程序正确性证明上，啃的是最硬的那块骨头，也就是非确定输入时程序性质证明，难度几乎与数学定理的机器证明相当，而且面临计算复杂性的问题。而我关注的是表达和翻译，这块骨头就轻易的绕过去了。

引入时态逻辑进行语义分析的原因是，对于所谓的副作用，也就是状态迁移的过程，能够有一个公理化的描述体系，将其转换为逻辑问题来处理，这使得我们可以将不同范式（命令式，声明式）结合在一起。

自然语言也是这样的，再举一个例子：

某个物质的属性是易溶于水。

易溶于水被当做一个属性，但这个短语却包含一个完整的实验过程。在传统的语言中，例如面向对象，往往就弄一个状态标志就完了，这实在是太简陋了，它的问题是把这么简单的一句话所表达的概念，分散到了程序的多个环节，这造成了写代码和维护代码的困难。

如果将命令式和声明式结合在一起，我们就可以在代码中写出几乎一摸一样的语句，将程序语言的表现力和抽象力几乎提高到了自然语言的水平，同时而没有失去精确性。

事实上，我认为这种语言的表现力其实比自然语言更高，更通顺，更容易阅读，最重要的，它是活的，你可以对一个段落进行查询，给定输入，检查输出。

补充一个回答：
为什么语义分析会结束语言的分裂局面？

因为不同的语言虽然语法各异，范式不同，但语义上是可以相互沟通的，理解这一点很简单，你可以看一段c语言，然后知道了这段c语言要干什么，然后用java语言写出来一个功能一模一样的程序来。

有了语义分析，就可以将不同语言中的各种语法结构，在语义的层次上互相翻译，甚至混合使用。

至于上面用人肉翻译的例子，是不是说明翻译的难度很高？其实不然，翻译有两种方法，一种是整体功能一样，但实现方法不同，这个就很难做。另一种方法是逐个将语法结构对照翻译，要是c语言中的某个语法结构java语言没有，那就用java语言模拟出一个来，继续对照翻译。

所以，我们只要给出一个对照表，机器就可以不需要任何智能算法，直接用对照的方法将一门语言翻译为另一门语言，如果翻译的目标语言干脆就是某个平台上的机器码，那么这就是一个编译过程。如果源语言和目标语言是不同平台上的机器码，那么这就实现了不同机器平台上的二进制代码互翻。

当然，对照翻译不是翻译单词那么简单，不同语言中的相同语法结构也都有细微的差别，你需要有一种语言去描述这种差别，细节方面就很多了。

作者：uda1341 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

上一次由uda1341于2010-12-18 周六, 02:01修改，总共修改了2次

相关主题
北京intel总部英文文档工程师职位（熟练翻译中英文计算机术语）	IT	2012-11-16 周五, 23:59
北京intel总部英文文档工程师职位（熟练翻译中英文计算机术语）	外语翻译	2012-11-16 周五, 23:57
[原创]中国信息大学招骋英语、计算机教师--北京	海归职场	2007-12-26 周三, 09:30
电子计算机、机器人与人类最伟大的宇宙精神/罗国正	艺术鉴赏	2016-4-21 周四, 12:01
[转帖][教学]为维护国家安全中国限制出口无人机和高性能计算机	项目找投资与合作	2015-8-04 周二, 22:19
三星通信研究院招聘计算机视觉与模式识别算法工程师	海归招聘	2015-1-12 周一, 11:18
[转帖] 中央机关采购计算机禁装Win8	海归主坛	2014-5-20 周二, 14:33
帮朋友晒个项目给给归坛子捧捧场 >> 乳腺计算机辅助诊断系统...	海归主坛	2014-4-26 周六, 11:21

返回顶端

rationese语言----计算机语言的终结者，新文明的开端 -- uda1341 - (1285 Byte) 2010-12-16 周四, 22:49 (5036 reads)

怎么解决逻辑规则的完整性？ -- coko - (17 Byte) 2010-12-18 周六, 02:10 (564 reads)

封闭性的含义是自洽？可判定？能否多给点提示 -- uda1341 - (0 Byte) 2010-12-18 周六, 02:16 (487 reads)

好像uda的头很痒，很渴望拍砖的样子，那我就来拍一个吧！ -- Sarakawa - (521 Byte) 2010-12-18 周六, 00:43 (725 reads)

唉，终于来了。 -- uda1341 - (1898 Byte) 2010-12-18 周六, 01:26 (677 reads)

好想法，应用领域颇多，比如现在最热的网络安全主动监控。 -- 绽铃子 - (58 Byte) 2010-12-19 周日, 01:56 (456 reads)

你这么喜欢讨论，那么我再给你丢几块砖头吧！ -- Sarakawa - (728 Byte) 2010-12-18 周六, 02:13 (589 reads)

看得这么认真啊，连这点马虎眼都抓住了 -- uda1341 - (515 Byte) 2010-12-18 周六, 02:29 (563 reads)

我觉得引入时态可能会很要命。 -- Sarakawa - (86 Byte) 2010-12-18 周六, 02:56 (596 reads)

历史数据量大得不得了，怎么分析。所以，还是一个贝叶斯网络的应用。 -- 绽铃子 - (9 Byte) 2010-12-19 周日, 11:25 (578 reads)

看帖不认真，我还是打比方吧，最后一招了。 -- uda1341 - (364 Byte) 2010-12-19 周日, 14:37 (485 reads)

有没有前途不知道，给uda点儿精神支持吧！ -- Sarakawa - (159 Byte) 2010-12-19 周日, 12:27 (611 reads)

就你提到的这个，我有点兴趣 -- uda1341 - (397 Byte) 2010-12-19 周日, 14:55 (603 reads)

你现在还在空想社会主义阶段，连多线程都还没考虑 -- Sarakawa - (68 Byte) 2010-12-19 周日, 23:57 (515 reads)

细节在我几十篇日记和十万多字的笔记还有一堆验证代码里面，你要看不？ -- uda1341 - (118 Byte) 2010-12-20 周一, 00:34 (559 reads)

大家找找乐子就好了，太hard core的看下去会要命的。 -- Sarakawa - (63 Byte) 2010-12-20 周一, 11:56 (574 reads)

有一种说法：不懂FPGA的，不是计算机科学家。快速处理大量数据，非要上FPGA这个神器不可。 -- 绽铃子 - (0 Byte) 2010-12-19 周日, 13:49 (544 reads)

补充：宝刀不老的John McCarthy -- uda1341 - (158 Byte) 2010-12-18 周六, 01:40 (476 reads)

搞得玄之又玄，说明你还没有想清楚。 -- 绽铃子 - (10 Byte) 2010-12-17 周五, 19:57 (644 reads)

跟贝叶斯网络半毛钱关系都没有。 -- uda1341 - (0 Byte) 2010-12-17 周五, 20:21 (474 reads)

奇怪了，为啥没有CS的小牛大牛冒泡开展批斗呢 -- uda1341 - (311 Byte) 2010-12-17 周五, 18:45 (648 reads)

不是三缺一，是一缺三。 -- tutu - (70 Byte) 2010-12-17 周五, 21:16 (566 reads)

好吧。 -- uda1341 - (16 Byte) 2010-12-17 周五, 21:22 (612 reads)

怎么赚钱？投资多少？什么时候开始有成品卖？谁买？ -- tutu - (0 Byte) 2010-12-17 周五, 22:24 (518 reads)

附耳过来 -- uda1341 - (163 Byte) 2010-12-18 周六, 15:02 (603 reads)

买小作坊，等于带钱过来打工 -- tutu - (20 Byte) 2010-12-18 周六, 18:22 (544 reads)

这不你说投资投资，我觉得这方案才勉强靠谱。 -- uda1341 - (369 Byte) 2010-12-18 周六, 19:03 (557 reads)

可是前面说：“我要靠这个赚大钱，o(╯□╰)o ”，没见说到怎么赚大钱啊 -- tutu - (0 Byte) 2010-12-18 周六, 19:14 (538 reads)

不可说不可说，说什么都是假的，都是让你给逼的 -- uda1341 - (66 Byte) 2010-12-18 周六, 19:18 (540 reads)

有个小作坊那是好事 -- tutu - (154 Byte) 2010-12-19 周日, 08:35 (458 reads)

[转帖]有人说，世界上有了统一的语言，这个世界就会毁灭，是吗？ -- nanonano - (38 Byte) 2010-12-17 周五, 13:48 (664 reads)

有个著名的日本国际电气通信基础技术研究所（ATR）听说过吗？有过这个研究课题 -- 禾乃才 - (11 Byte) 2010-12-17 周五, 10:49 (946 reads)

不知道，莫非有关日本曾经的第五代计算机计划？ -- uda1341 - (44 Byte) 2010-12-17 周五, 12:17 (551 reads)

ur sample code looks very much like python -- Ah-lei - (24 Byte) 2010-12-17 周五, 04:45 (656 reads)

怪哉啊，怎么看见代码了？还没确定语法呢 -- uda1341 - (46 Byte) 2010-12-17 周五, 04:57 (533 reads)

yeah, ur right. It's ur pseudo-code... -- Ah-lei - (2 Byte) 2010-12-17 周五, 05:25 (487 reads)

看不太明白，好像很cool，给你加颗星。 -- Sarakawa - (57 Byte) 2010-12-17 周五, 01:42 (424 reads)

可并列海龟网三大项目:新CPU, 新网络(ipv9)，新编程语言 -- tchs - (0 Byte) 2010-12-17 周五, 01:13 (514 reads)

区别在哪？ -- tutu - (0 Byte) 2010-12-17 周五, 21:17 (406 reads)

顶！想法不错，细节需要定下来。 -- 黄埔半期 - (0 Byte) 2010-12-17 周五, 00:35 (392 reads)

民科 -- Llong - (0 Byte) 2010-12-17 周五, 00:18 (448 reads)

谢谢，本来就是民科哇。 -- uda1341 - (181 Byte) 2010-12-17 周五, 18:27 (413 reads)

如果兄台能解决不同人类语言之间的机器翻译问题,那rationese就会是“中级语言” -- xmen03 - (0 Byte) 2010-12-16 周四, 23:02 (479 reads)

人类语言是个火坑，等价于强人工智能。 -- uda1341 - (76 Byte) 2010-12-16 周四, 23:06 (487 reads)

显示文章:

海归论坛首页 -> 海归商务 -> 项目找投资与合作焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

所有的时间均为北京时间

您不能在本论坛发表新主题, 不能回复主题, 不能编辑自己的文章, 不能删除自己的文章, 不能发表投票, 您 不可以 发表活动帖子在本论坛, 不能添加附件可以下载文件,

热门标签

更多...

论坛精华荟萃

更多...

博客热门文章

更多...