※ 引述《noctem (noctem)》之铭言： : : 从上大学不久就开始了吧? 十年如一日的研究，真是不得不敬服。 : 咦？听来我们好像认识哩？请问您是...? :) 不算真的认识，我只是某个老人，不知道没关系。 : 在国外是比较有环境让我做这样的研究。身边的人都做这样的东西， : 处在其中觉得很自然，生产得也快。现在我回来一年了，还是没什 : 麽成绩。已经蛮慌的了。 没有社群真的是很难做什麽东西。 我常常高估自己的生产力，後来才发现，没有一群人合作，进度会很慢。 : 我粗略的理解是 meta-programming 泛指用程式来处理程式。 : 如果是这样的话，差别大概是: 我做的那种 derivation 多半是用 : 手在做的呢。一种解释是 derivation 是写程式的过程之一；另一 : 种讲法是把将一个演算法 derive 出来的过程当作了解它的方法。 : 这两种活动都是人在做。 : 当然渐渐地会发现，有些 derivation 的过程是蛮机械化的，因此这 : 些部份可以用电脑来辅助做。我们的目标之一应该也是尽量让 : 可以自动做的部份变多。因此也许可以说 program derivation : 的成果可以应用在 meta programming 上吧。但对另一些人来说， : 他们的兴趣是继续寻找用来 derive 程式的数学结构，能否自动化 : 就待会儿再说。 嗯。 : : 以上是用我设计的程式语言 (未发表) ，不过应该满容易理解的，就 : : 不做额外说明了。 : 之後会发表吗？ :) 会。 其实已经摆了好几年了。 以前觉得新到没有人理解的东西，现在许多都可以在别的语言中看到，反而 像是拼装货了，有够糟糕的 >_< 但也没办法，我不可能没做工具就丢规格出来，毕竟不在学界，就比较需要 做完整，一个人搞进度就是慢，而且我研发的重点也不在程式语言，那只是 附带的东西之一。 不过未来不管是配合系统发布还是书籍出版，总是会丢出来的。 : : XML 处理这部分，一般是在 information retrieval 的领域中做的， : : 用程式语言来做，可能不是杀鸡用牛刀，就是很可能实用意义不够。 : : 不过，若是想要做点什麽东西，配合 XML 的特性来设计，或是以此 : : 做为起点，应该还不错。 : 嗯，目前是有些专门设计来处理 XML 的 functional 语言（例 XDuce : 和 CDuce）。不过他们的设计重点放在型别上: 两个语言都有适合 : XML 的 type system. : Information retrieval 是我不懂的东西.. @_@ 我开始碰 XML 也是 : 最近的事情，可能不很进入状况。其实这几年很多 programming language : 的研究者开始搞 XML, 是觉得「我们搞跟树有关的东西也搞那麽多年了， : 现在 XML 流行起来，我们能不能把之前弄的东西应用在这上面？」 : 然後就这麽试试看了。 感觉上的确像是这样子的，毕竟不太直接相关。 IR 则是比较直接跟 XML 相关的领域，不过除了搞 semantic web 的之外， 其他做 XML 的多半是在效能上打转的比较多 (我有加入 ACM SIGIR...) 所以如果是以效能或空间等等比较偏算法的部分，可能用 PL 不是那麽有 搞头，若是可以支援 XML 操作，但又不是跟 XML 绑死在一起的话，或许 会好的多，或是直接抢 semantic web 的生意。 毕竟用 PL 来协助 semantic processing, 是相当适合的做法。 当然，学界的生态我并不了解，这只是就偏产业层面的实用性来说的。 : : 我不理解，先不谈可能性，但如果实作出来了，可以怎麽应用呢? : Hmm.. 研究反函数的学者有一些，通常的讲法是 : o 有的人认为这是本来就该有的。函数可以 compose, 可以 apply, : 可以 invert. 但现在的语言只能做前两者而不能做第三者， : 是个缺陷，应该做出来。 : o 可以扯很远扯到量子电脑：在量子电脑上的程式都是可以逆转的。 : 那麽最好是有鼓励 programmer 写出可逆的程式的语言。 : 此外我自己之前参加的一个计画中，有一小部份（很意外地）需要确保 : programmer 写的程式是可逆的。所以当时做过一点点相关的研究。 : 不过老实说以上的理由说服力有多高，都要看写企划的人作文能力有 : 多强啦。对我来说，我想试试看这个计画的原因是好奇：其一是想知道 : 可不可能；其二是想知道如果要确保程式可逆，需要遵循哪些规则， : 以及有了这个 invert operator 之後会怎麽影响程式风格。 听起来是有道理，但实务上似乎就让人颇费思量。 例如 fib() 的反函数要怎麽建立，显然就不太容易了。 --

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