T1的意思是Monad是由类型系统引入的吗?
关于Monad我看到几种说法
Monad是类型化的continuation
Monad是组织算子的通用模式
Monad是计算过程的设计模式
这些说法好象和它带来的灵活性,弹性没什么牵扯
T1说continuation实际是lambad,而我一直认为延续是闭包带来的:)
lambda (m) (m x y)换成Z就出来了的
有没有关于代码块怎么实现的资料?
或者写个C的回调函数实现,有没有哥们写个看看
还有个问题怎么样让 M-X SPEEDERBAR这种集成到EMACS的工具栏
在CMD运行emacs --debug-init结果
评论排行榜