我直到今天才發現這個板。蠻高興在這邊看到對 programming language 有興趣的人。 我現在在中研院資科所工作。做研究但沒有人可以討論，實在 是蠻難的。因此我很想要聘幾位對相關題目有興趣的朋友， 一起來做些事情。 在學生時代我做的是 program derivation (有人知道這是什麼 嗎？), 現在大概凡是 programming language 有關的題目都 不挑了。最近我在做的東西和 XML 有關：我們想開發一個能 使用少量記憶體處理 XML 的 functional language. 當然目前 還沒到「語言」的層次，這個階段的想法是：我們需要一種奠基 在 lazy evaluation 之上，但是稍作修改的 evaluation 方式。 夏天之後我可能會開始另一個計畫：設計一個有「反函數」的 functional language. 是否有可能設計一個語言，讓你能先 定義一個函數 f, 然後說「g 是 f 的反函數」？這樣的語言能 玩出什麼花樣呢？ 如果您對這些題目有興趣，歡迎與我連絡。以下是我前陣子貼 的徵才廣告。 ---- 中研院誠徵 程式語言/函數語言/XML處理 研究助理或工讀生 單位 : 中央研究院 資訊科學研究所 網址: http://www.iis.sinica.edu.tw/~scm/ 穆信成老師 職務名稱: 專任/兼任 研究助理/工讀生 工作內容: 從事程式語言/函數語言/XML 處理之相關研究。 * 研讀論文或相關資料 * 定期討論 * 程式撰寫 條件: 學歷不拘，希望應徵者對於以下領域之中的部份有興趣 * 程式語言(programming language), 尤其是函數語言(functional programming), 或 * 編譯器後端(compiler backend)設計, 或 * XML 處理, 或 * 型別理論(type theory) 工作待遇: 比照中研院薪資標準 工作地點: 北市南港研究院路2段128號 資訊科學研究所 聯絡電話: 02-2788-3799 分機 1730 應備文件: 意者請寄 email 至 [email protected] --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 123.192.157.71