※ 引述《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