Re: [徵才]Functional Programming 的相關工作

看板PLT (程式語言與理論)作者reader (讀者)時間17年前 (2007/03/07 21:00)推噓1(1推 0噓 1→)

留言2則, 1人參與討論串4/5 (看更多)

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