我直到今天才发现这个板。蛮高兴在这边看到对 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