Achilleus Daily
导航
C++博客
首页
新随笔
联系
聚合
管理
<
2025年5月
>
日
一
二
三
四
五
六
27
28
29
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
6
7
统计
随笔 - 0
文章 - 3
评论 - 1
引用 - 0
常用链接
我的随笔
我的评论
我参与的随笔
留言簿
给我留言
查看公开留言
查看私人留言
文章分类
C++0X(2)
(rss)
Lambda(1)
(rss)
文章档案
2011年9月 (1)
2011年8月 (2)
搜索
最新评论
1. re: Lambda算子简介
你好，在2.算子这一节中，将后继函数作用于λsz.z时λyx.y((λsz.z)yx) = λyx.y((λz.z)x) 这一步是怎么算出来的?不太懂
--Nicoder
仅列出标题