海归论坛 :: 阅读跟帖 - 你说的这个问题跟空间隐喻有那么一点点关系

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


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

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

分屏

表形显示

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

作者

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

所跟贴

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

uda1341

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

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

海归分: 4371

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

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

空间隐喻：

从一些简单的例子就可以看出来，例如prolog入门教程中的那个方块世界，已经够简单了吧，但用谓词表达起来又有点罗嗦，而且有些规则对于人来说应该是天然的就应该那样，所以很多时候都想不起来把这些规则显式的写出来。

很多时候，人的推理也依赖于这些空间关系所带来的形象化思维，映射为图像会让很多东西变得直观，这也许是因为，人的脑子不够用的时候，要借助视觉部分的功能区来处理问题。

在写作代码的时候，如果能借助这些易于理解的空间隐喻，那么就能够更好的说明问题，而不是把规则一条一条的列举出来，系统也能够根据你所采用的空间隐喻，将你未作说明却实际上又会起作用的规则提取出来（这些隐含规则是通过空间隐喻所得到的），应用到代码上去。

最简单的就是代码的显示本身，这本身就是一个一维的空间，里面有右边，左边，相邻，之前，之后的一些概念。

其次可以用上二维表，可以把一些事物的关系映射为二维表，然后用二维表中的行，列，上，下，区域等概念进行说明，这样可能比使用原始的逻辑表达更为直观和易于理解。

作者：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 (2341 reads)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

显示文章:

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

所有的时间均为北京时间

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

热门标签

更多...

论坛精华荟萃

更多...

博客热门文章

更多...