dingstyle's recent timeline updates
dingstyle

dingstyle

V2EX member #22387, joined on 2012-06-19 01:28:42 +08:00
dingstyle's recent replies
@ivanor 来源是?
May 10, 2013
Replied to a topic by undozen 程序员 可以再聊聊 emacs vs vim 吗?
楼主一定是来收铜币的,于是我来送5铜币了。
Apr 27, 2013
Replied to a topic by zikkeung 程序员 国外有人用macvim模仿sublime text2
@egen 这个只能在MacVim下用,控制台下优势何在?
Apr 3, 2013
Replied to a topic by pythonee 程序员 github图标怎么变成方块了?
字体没显示出来,这些图标都是字体
responsive
楼上有几位理解错了吧,楼主应该是说vim下不离开insert模式要怎么跳出括号。其实如果括号后面就是行尾,按Ctrl-e就可以了。另外,内置自动补全括号的编辑器,直接键入')'光标不就跳到括号外面去了么?
Mar 15, 2013
Replied to a topic by jingwentian 分享发现 Skillpages
@dingstyle typo,是1000万
Mar 15, 2013
Replied to a topic by jingwentian 分享发现 Skillpages
敢情这网站超过10万用户大多是被spam骗过来的啊……
Mar 5, 2013
Replied to a topic by jiyinyiyong 程序员 有没有同学来讲解下王垠的代码的...
@jiyinyiyong 他做的是自动将一个普通程序转换为等价的CPS形式。
Mar 4, 2013
Replied to a topic by jiyinyiyong 程序员 有没有同学来讲解下王垠的代码的...
楼上几位说得很清楚了,我在这里稍微补充一下:CPS的基本思想是将普通函数的return转换为调用另一个函数(即这个函数的continuation),由于函数永远都不会返回,我们也就不需要调用栈。举例来说呢,Chicken Scheme这样的编译器就会利用CPS来消除调用栈。
另外,如果一个程序写成了CPS形式的话,call/cc这个special form可以用一个普通函数来实现:

(lambda (f k) (f (lambda (v k0) (k v)) k))

由于call/cc一直是解释器性能优化的一个难点,不难理解CPS转换对于现代函数式语言的编译器、解释器的重要意义了。
About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   2575 Online   Highest 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 26ms · UTC 06:09 · PVG 14:09 · LAX 23:09 · JFK 02:09
♥ Do have faith in what you're doing.