海归论坛 :: 阅读跟帖 - 为什么要在运行时编码？

会员列表
收藏夹
论坛帮助

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


主题: [原创忽悠]一门可用于编程的人工语言

海归论坛首页 -> 海归商务焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

分屏

表形显示

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

作者

[原创忽悠]一门可用于编程的人工语言

所跟贴

只能一个个小例子来说(第一个是过程式代码和逻辑式代码的混合使用) -- uda1341 - (348 Byte) 2010-10-16 周六, 23:39 (523 reads)

uda1341

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

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

海归分: 4371

标题: 为什么要在运行时编码？ (453 reads) 时间: 2010-10-16 周六, 23:49

作者：uda1341 在海归商务发贴, 来自【海归网】 http://www.haiguinet.com

joe armstrong（erlang的发明人）的一段话：

“你需要告诉它们。你可以在状态机中添加这样的信息，说“当文件处于打开的状态时，你就可以对其进行读取”，或者“当你关闭了文件，就会将状态变为‘关闭’，当文件处于‘关闭’状态的时候，你就无法读取它。”

但是API不会告诉我们这些事情，它只会告诉我们不想知道的内容，而关于它所允许执行操作的顺序等重要的内容，它根本就不告诉我们。那被叫做协议，而我们非常不擅长描述协议。”

考虑下面的代码

fileopen(File,FileName);
readfile(S,File);
fileclose(File);

编写代码最合适的时机应该是在运行时，为什么？因为，只有在运行时，全部的语义才能够被最充分的发掘出来。

如果是在设计时编写，完全可以写出这样的代码：
fileopen(File,FileName);
readfile(S,File);
fileclose(File);
。。。
readfile(S1,File);

如果是在运行时编写，最后一句是不可能写出来的，因为运行到这里时，File这个参数已经是一个无效句柄了。

这样的信息，只可能在运行时得到，在设计时是无法得到的。（也许通过复杂的分析可以在设计时得到，但语义信息最充分的展现，一定是在运行时）

因此，在写一段代码时，可以先准备好一个特定的输入，一边写代码一边运行，删除代码时，代码作为事务回退。（这里又用到了代码事务机制）

作者：uda1341 在海归商务发贴, 来自【海归网】 http://www.haiguinet.com

相关主题
今天打电话，我姨夫（一老教授）对我说，你们海归创业的，基本上都是搞投资，基...	海归商务	2011-12-01 周四, 11:57
知耻近乎勇，建议唐骏捐款成立方唐奖学金，方唐发明奖。奖励有远大忽悠抱负的学...	海归主坛	2010-7-12 周一, 03:57
【中国海创会首席大记者现场报道之V] 别了，大连；别了，忽悠们；别了，初出...	海归主坛	2010-7-01 周四, 09:21
[原创] 中国人民该如何抵抗无才无良大陆导演的忽悠骗钱攻势？ -- 从张Y...	海归酒吧	2009-12-16 周三, 13:08
[原创]体检被忽悠之小伙，你真逗	海归酒吧	2009-2-22 周日, 19:47
[原创]g99f0383/SmallEyes 原创之海南旅游防忽悠	海归酒吧	2008-11-12 周三, 16:38
[原创]CBC惑众，加西（北美中文）网低级，加拿大统计署忽悠	海归主坛	2008-5-06 周二, 16:58
[原创]戏说保理与保险，兼拍钱代这个忽悠	海归论坛	2006-6-24 周六, 01:34

返回顶端

[原创忽悠]一门可用于编程的人工语言 -- uda1341 - (3155 Byte) 2010-10-16 周六, 21:49 (2683 reads)

继续忽悠，曾有个MIT混的牛人给点评过一段 -- uda1341 - (758 Byte) 2010-10-19 周二, 00:57 (425 reads)

如果你自己不会做编译器,那永远不会有人帮你实现的. -- xmen03 - (0 Byte) 2010-10-18 周一, 22:50 (454 reads)

这话是怎么来的。我在做编译器和IDE啊。 -- uda1341 - (8 Byte) 2010-10-18 周一, 22:54 (372 reads)

突然发现忘了忽悠了 -- uda1341 - (332 Byte) 2010-10-17 周日, 12:46 (453 reads)

听起来向未来时代里面，人与机器人并肩战斗大星球大战，人甚至可以找机器人老婆 -- tutu - (8 Byte) 2010-10-17 周日, 12:55 (421 reads)

做老婆，光有语言交流是不够的，甚至有了思想也还是不够的。要不, -- under2005water - (22 Byte) 2010-10-17 周日, 16:43 (416 reads)

现在流行丁克，流行同性恋结婚， -- 煎饼2点0 - (30 Byte) 2010-10-17 周日, 18:02 (359 reads)

最近遇到的一事，用你的语言就不会成问题了. -- under2005water - (360 Byte) 2010-10-17 周日, 08:44 (526 reads)

你说的这个问题跟空间隐喻有那么一点点关系 -- uda1341 - (458 Byte) 2010-10-17 周日, 10:44 (435 reads)

是的, 我们的问题就是缺少这个: -- under2005water - (235 Byte) 2010-10-17 周日, 16:38 (419 reads)

最后应该是这样的。 -- uda1341 - (189 Byte) 2010-10-18 周一, 23:17 (435 reads)

发明提高生产率新方法的人客观上都是在消灭他的同行 -- under2005water - (13 Byte) 2010-10-19 周二, 06:31 (336 reads)

呵呵，这是电脑和人的根本区别。 -- 绽铃子 - (48 Byte) 2010-10-17 周日, 09:55 (416 reads)

楼主的新语言就是为了缩小两者间的差距． -- under2005water - (135 Byte) 2010-10-17 周日, 10:17 (336 reads)

感觉你的想法同PERL，AWK之类的语言比较接近 -- 创思 - (130 Byte) 2010-10-17 周日, 00:52 (471 reads)

似乎不像吧。呵呵。关于怎么构成killer app，想过，但不是眼下最主要的事情 -- uda1341 - (539 Byte) 2010-10-17 周日, 01:06 (367 reads)

好思路，喜欢啊。有一点建议：要有予编译过程，也就是去掉“程序员”的口水话，让他再审一次，这样，把复杂 -- 穷通男儿 - (67 Byte) 2010-10-17 周日, 00:32 (566 reads)

意思应该是明白了，肯定不会等于自然语言编程，那是个无底洞。 -- uda1341 - (142 Byte) 2010-10-17 周日, 00:39 (371 reads)

能否解释一下原文中的例子 -- 创思 - (49 Byte) 2010-10-16 周六, 23:59 (442 reads)

关于最后那个试金石的例子，我的语言还没过关啊，等过了关才行。 -- uda1341 - (43 Byte) 2010-10-17 周日, 00:02 (385 reads)

支持一下 -- 创思 - (0 Byte) 2010-10-16 周六, 23:34 (492 reads)

只能一个个小例子来说(第一个是过程式代码和逻辑式代码的混合使用) -- uda1341 - (348 Byte) 2010-10-16 周六, 23:39 (523 reads)

重复贴已删除 -- uda1341 - (0 Byte) 2010-10-16 周六, 23:57 (334 reads)

为什么要在运行时编码？ -- uda1341 - (660 Byte) 2010-10-16 周六, 23:49 (453 reads)

这是 meta-programming -- 创思 - (11 Byte) 2010-10-17 周日, 00:05 (437 reads)

哦，这个例子好像和meta-programming没有关系吧。 -- uda1341 - (0 Byte) 2010-10-17 周日, 00:24 (452 reads)

你是不是想在运行时生成代码？ -- 创思 - (54 Byte) 2010-10-17 周日, 00:29 (447 reads)

不是，这个例子是说代码写到哪行，程序就运行到哪行。 -- uda1341 - (205 Byte) 2010-10-17 周日, 00:33 (434 reads)

这同程序的解释执行有什么区别？ -- 创思 - (0 Byte) 2010-10-17 周日, 00:39 (429 reads)

也可以说差不多 -- uda1341 - (131 Byte) 2010-10-17 周日, 00:49 (321 reads)

meta programming实际上从58年开始，在lisp的世界里早就是常识了 -- uda1341 - (132 Byte) 2010-10-17 周日, 00:16 (343 reads)

不太明白最后一个例子中4，6，8，9怎样得出来 -- 创思 - (0 Byte) 2010-10-16 周六, 23:46 (458 reads)

因为 a[x]==4 是一个逻辑查询 -- uda1341 - (308 Byte) 2010-10-16 周六, 23:57 (434 reads)

函数式语言中用一个表和一个filter可以完成这个工作 -- 创思 - (9 Byte) 2010-10-17 周日, 00:02 (495 reads)

是的。小例子的危险就是别的语言也能做。 -- uda1341 - (247 Byte) 2010-10-17 周日, 00:11 (406 reads)

但你的输出结果依然需要一个表来表示 -- 创思 - (126 Byte) 2010-10-17 周日, 00:24 (294 reads)

想法似乎不错，但写的太繁琐。能不能写成大一学电脑的学生都能一眼看懂的？ -- 黄埔半期 - (0 Byte) 2010-10-16 周六, 21:59 (346 reads)

还没到这个时候，很多语法都还没固定下来。 -- uda1341 - (58 Byte) 2010-10-16 周六, 22:11 (331 reads)

不是指教材，而是指你的idea。你得头15秒讲清楚你要干什么，然后再加45秒你该怎么干。 -- 黄埔半期 - (24 Byte) 2010-10-17 周日, 02:58 (313 reads)

显示文章:

海归论坛首页 -> 海归商务焦点讨论 | 精华区 | 嘉宾沙龙 | 白领丽人沙龙

所有的时间均为北京时间

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

热门标签

更多...

论坛精华荟萃

更多...

博客热门文章

更多...