海归论坛 :: 阅读跟帖 - 继续忽悠，曾有个MIT混的牛人给点评过一段

会员列表
收藏夹
论坛帮助

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


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

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

分屏

表形显示

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

作者

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

所跟贴

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

uda1341

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

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

海归分: 4371

标题: 继续忽悠，曾有个MIT混的牛人给点评过一段 (424 reads) 时间: 2010-10-19 周二, 00:57

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

前面太具体的就省略了。。。

It's a very good idea. In a twisted way it reminds of "Subtext" - the computer is *there* so why isn't it helping more with the automatable parts of writing a program? Why are we still using dumb text editors, for the most part?

It's different from subtext in that the "PSI-"-style templating and the implied kind of "interactive type inference" is original (except that somebody, somewhere has probably tried something somewhat similar before Smile

-t
update: p.s.: it's a very subversive idea, too, in that it suggests a completely different approach to problem that ever-more-sophisticated type-theory-inspired systems are coming up with. A much simpler and yet plausibly more powerful approach.

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

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

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

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

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

做老婆，光有语言交流是不够的，甚至有了思想也还是不够的。要不, -- under2005water - (22 Byte) 2010-10-17 周日, 16:43 (415 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 (434 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 (470 reads)

似乎不像吧。呵呵。关于怎么构成killer app，想过，但不是眼下最主要的事情 -- uda1341 - (539 Byte) 2010-10-17 周日, 01:06 (366 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 (384 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 (333 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 (457 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 (405 reads)

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

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

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

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

显示文章:

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

所有的时间均为北京时间

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

热门标签

更多...

论坛精华荟萃

更多...

博客热门文章

更多...