|
锁定老帖子 主题：对不起.我也喜欢跳大神...
精华帖 (8) :: 良好帖 (0) :: 灌水帖 (0) :: 隐藏帖 (1)
|
|
|---|---|
| 作者 | 正文 |
|
发表时间：2009-08-31
我昨天还用百度百科查尾递归了。。。
得到了这么一个页面：http://baike.baidu.com/view/1439396.htm |
| 返回顶楼 | |
|
发表时间：2009-08-31
RednaxelaFX 写道 iaimstar 写道 从第一次听到鲁棒×性这个词
我就觉得好和谐 今天还有玉米啃，太和谐了 从第一次听到鲁棒性这个词我就往下想……为了不往下想，还是啃啃玉米好了 @Saito 中文wiki的可靠度经常跟伪基有的一拼……三条规则很好理解 啊发就是换个马甲 啊呗就是把鸡蛋装篮子里 啊唉就是装着鸡蛋的篮子跟不装鸡蛋的篮子都一样是篮子 ...@"_"|||... Wikipedia英文版!!! 写道 α-conversion: changing bound variables;
β-conversion: applying functions to their arguments; η-conversion: which captures a notion of extensionality. RednaxelaFX 写道 啊发就是换个马甲
啊呗就是把鸡蛋装篮子里 啊唉就是装着鸡蛋的篮子跟不装鸡蛋的篮子都一样是篮子 太精辟了. .. 还是您老的解释更精华些.. 提交到中文wiki上吧.. 
|
| 返回顶楼 | |
|
发表时间：2009-08-31
fx你也换头像啊。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
|
| 返回顶楼 | |
|
发表时间：2009-08-31
iaimstar 写道 fx你也换头像啊。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
嗯啊，之前挂了那么长时间女生头像，这次换回男的了。 |
| 返回顶楼 | |
|
发表时间：2009-08-31
最后修改：2009-08-31
RednaxelaFX 写道 iaimstar 写道 fx你也换头像啊。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
嗯啊，之前挂了那么长时间女生头像，这次换回男的了。 敲碗等熟肉 …… ---------- 挂了这么长时间人类头像，这次换个非人类的 …… |
| 返回顶楼 | |
|
发表时间：2009-08-31
RednaxelaFX 写道 iaimstar 写道 fx你也换头像啊。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
嗯啊，之前挂了那么长时间女生头像，这次换回男的了。 能不能不换成伪娘、、、、、、、、、、、、、、、、、、、 |
| 返回顶楼 | |
|
发表时间：2009-08-31
(⊙_⊙) (⊙_⊙). . .
我的帖子被水了... |
| 返回顶楼 | |
|
发表时间：2009-08-31
Saito 写道 (⊙_⊙) (⊙_⊙). . . 我的帖子被水了... 那行，往正题方向扯一点。要一个定义方式和一条转换规则的话，去找找iota组合子就是。 |
| 返回顶楼 | |
|
发表时间：2009-08-31
RednaxelaFX 写道 Saito 写道 lambda演算是什么. 就是 一个函数定义式跟一条变换规则.
不是一种记法和三条变换规则么……？ 又见鲁棒性～啊，今天还没啃玉米，罪过罪过 引用透明性是好。不过如果不慎靠太多的参数来“传递中间结果”的话，涉及的复制开销也客观。不是说“没有副作用”之后性能/可伸缩性就自然会变好，里面怎么实现的也很重要。 这个应该可以通过continuation来改善吧. 或者通过别的方法去 Refactoring .. 倒是有一个疑问. 函数式编程在不可避免的需要大量保存state的情况下. 用monad是不是还不如直接像scala之类的直接用oo直接处理掉..(适用场景: I/O GUI etc .. ). pure fp 在 gui 方面貌似不是很在行啊.. |
| 返回顶楼 | |
|
发表时间：2009-08-31
等ruby2.0出现的时候，谈这些就没有多大意义了
|
| 返回顶楼 | |
