※ 引述《noctem (noctem)》之铭言： : 我直到今天才发现这个板。蛮高兴在这边看到对 programming : language 有兴趣的人。 : 我现在在中研院资科所工作。做研究但没有人可以讨论，实在 : 是蛮难的。因此我很想要聘几位对相关题目有兴趣的朋友， : 一起来做些事情。 原来你还是在研究程式语言，就我的认识，穆老师是在台湾对於程式语言 研究，特别是函数语言最为执着努力的一位了。 从上大学不久就开始了吧? 十年如一日的研究，真是不得不敬服。 : 在学生时代我做的是 program derivation (有人知道这是什麽 : 吗？), 现在大概凡是 programming language 有关的题目都 : 不挑了。最近我在做的东西和 XML 有关：我们想开发一个能 : 使用少量记忆体处理 XML 的 functional language. 当然目前 : 还没到「语言」的层次，这个阶段的想法是：我们需要一种奠基 : 在 lazy evaluation 之上，但是稍作修改的 evaluation 方式。 其实我不太了解 program derivation 和 meta-programming 能有 什麽不同，最终都还是运用程式语言或工具生产软体的方法。 而处理 XML 应该跟处理程式语言很接近，例： <a b=c> <d e=f g=h> <i>j</i> </d> </a> => 转换成 C-like syntax: a(b = c) { d(e = f, g = h) { i() { "j" } } } => 转换成程式语言： obj a(b) = { obj d(e, g) = { obj i = { "j" } } } a(c) { d(f, h) } 以上是用我设计的程式语言 (未发表) ，不过应该满容易理解的，就 不做额外说明了。 也就是说，只要透过一个转换程式, XML 就可以代换为某些其他程式 语言，从而直接利用其他语言的编译或解译程式来处理。 麻烦主要在於完整的 XML 相关规格很繁琐，若要做全套会有点辛苦。 当然若是要处理 pattern matching 做一些抽象化工作的地步，就会 困难得多。 XML 处理这部分，一般是在 information retrieval 的领域中做的， 用程式语言来做，可能不是杀鸡用牛刀，就是很可能实用意义不够。 不过，若是想要做点什麽东西，配合 XML 的特性来设计，或是以此 做为起点，应该还不错。 至於说少量记忆体，嗯，本来就可以在需要时才处理 XML node, 只是 由於无论如何都要做一次 parse, 能省下的时间有限，在时间空间的 考量上，现在一般都倾向浪费空间来增进效能，所以商业模组才多是 如此设计。 : 夏天之後我可能会开始另一个计画：设计一个有「反函数」的 : functional language. 是否有可能设计一个语言，让你能先 : 定义一个函数 f, 然後说「g 是 f 的反函数」？这样的语言能 : 玩出什麽花样呢？ 我不理解，先不谈可能性，但如果实作出来了，可以怎麽应用呢? --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.222.173.26