针对epigram的心得 再来补充的详细一点 顺便骗点P币来花花~ XD ※ 引述《noctem (noctem)》之铭言： : ※ 引述《jaiyalas (ZZZ)》之铭言： : : Epigram http://www.e-pig.org/ : : 据说有比较完整的dependent type : : 也是我试最久却最让人动怒的东西.. : : 编辑上,实在是不太好用 : : 与其说是个editor,还不如说是一个"填空软体" : 哈哈哈... : 其实如果 implement 得好，这是设计者 Conor McBride 心目中理想的 : 程式环境。你由定义 datatype 开始，然後 IDE 帮你找那个 datatype : 的 induction 规则是什麽，程式会长什麽样子，同时也确保程式会终止。 : 你就填空就可以了。 会继续想说继续用用看,一方面就是因为他的语法真的很有趣 另一方面也是因为我之前没有用过这样的方式在写程式 所以也蛮好奇想要试看看写起来是什麽感觉 先讲他的优点好了,确实当我定义好function的signature以後 Epigrma会在另一块buffer里面告诉我哪里该放怎样的type 这点确实在对於对程式有相当程度了解的时候有帮助, type会给予相当大的提示,但是,如果没有那麽肯定的时候.. 乱试乱试的,也根本不知道到底发生了什麽事情 诚如这个editor的undo功能所给人家的感觉。 写这个editor的人似乎是觉得使用者都是可以 很顺的从头到尾写下去而完全不会需要修改或是尝试 另一个给人家这种感觉的地方是: 他的type资讯只有在function尚未定义完的时候会出现, 一旦结束了function的定义,就没法再看type的资讯了 这对不是很熟悉他的作法的人来说,可能稍微增加了瞎子 摸象的程度。因为可能只是乱试试对了,但是还不清楚原因何在 (<-就是在说我 囧rz) : （但我的感觉是，这跟 structure editor 不好用的原因一样。它假设 : programmer 写程式都很有条理、很有结构。但我写程式都是涂涂抹抹的。） 说到涂涂抹抹,就一定要提一下epigram极其欢乐的undo 我一开始在看说明文件的时候还不太懂,为什麽会突然强调起undo这个话题 後来才知道,他的undo真是有够难用 Orz 每undo一次,就会重新输出整个buffer 这我不知道是不是xemacs的问题 但是我好几次因为undo整个xemacs当掉 刷萤幕刷到程式当掉啦 其中好几次还忘记存档 囧rz : 不过 epigram 只有他自己一个人在写。听说是关在房间里面几个月什麽 : 别的事情都不怎麽做... 因为只有一个人所以他选用他比较容易做出原型 : 的方式：写成 emacs mode. 所以就变成这副模样了。 这点真的相当让人佩服 : 现在他正从 epigram 得到的许多经验去构思 epigram 2. 听说人手比较 : 多了，希望可以有人帮忙把这个界面的使用者经验弄得好一点... 哦? :o 那真的会让人期待一下 UI弄好的话,应该不会不好用的说 毕竟填空是个很方便的作法 : : 他另外有一个compiler : : 但是难用程度不下於那个editor : 好像真的很怒.. 辛苦啦.. 没有辛苦啦 这个根本没有试出来 XD 装的时候只是想说试试看 可以用就用一下看看,不能用就算了 结果光是安装就让我有被骗的感觉 XD --

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