惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

酷 壳 – CoolShell
酷 壳 – CoolShell
T
Threatpost
Latest news
Latest news
N
News | PayPal Newsroom
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
Help Net Security
Help Net Security
D
Darknet – Hacking Tools, Hacker News & Cyber Security
AI
AI
Simon Willison's Weblog
Simon Willison's Weblog
TaoSecurity Blog
TaoSecurity Blog
The Last Watchdog
The Last Watchdog
L
LINUX DO - 热门话题
Google DeepMind News
Google DeepMind News
T
Threat Research - Cisco Blogs
O
OpenAI News
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知
T
The Exploit Database - CXSecurity.com
NISL@THU
NISL@THU
Application and Cybersecurity Blog
Application and Cybersecurity Blog
S
Securelist
小众软件
小众软件
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Martin Fowler
Martin Fowler
S
SegmentFault 最新的问题
Cisco Talos Blog
Cisco Talos Blog
云风的 BLOG
云风的 BLOG
AWS News Blog
AWS News Blog
GbyAI
GbyAI
N
News and Events Feed by Topic
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
美团技术团队
Engineering at Meta
Engineering at Meta
A
About on SuperTechFans
博客园 - 三生石上(FineUI控件)
S
Schneier on Security
博客园 - 聂微东
V2EX - 技术
V2EX - 技术
T
Troy Hunt's Blog
SecWiki News
SecWiki News
S
Secure Thoughts
B
Blog RSS Feed
Hugging Face - Blog
Hugging Face - Blog
WordPress大学
WordPress大学
腾讯CDC
H
Heimdal Security Blog
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
Apple Machine Learning Research
Apple Machine Learning Research
月光博客
月光博客
www.infosecurity-magazine.com
www.infosecurity-magazine.com
P
Privacy International News Feed

Lisp

大佬们有没有推荐 lisp 的资料,最好是 ansi lisp - V2EX Lem 编辑器, Emacs 的继任者 - V2EX 请问 lisp people, 哪些能力是只有宏能实现,而函数不能实现的? - V2EX 试了试缩进语法写 Lisp - V2EX 是什么原因没有让 lisp 进入工业界(公司)的首选语言呢 - V2EX 一款 lisp 写的基于 GPU 渲染的编辑器 - V2EX SICP 走起 - V2EX [101]如何在迭代展开过程中输出中间数据? - V2EX The Humble Book Bundle: be a coder - V2EX scheme 一个好玩的开源库 - V2EX lambda calculus 解决了什么问题? 为什么会出现这个理论? 为什么说它很有价值? - V2EX 哪里可以找到关于 ANSI Common Lisp 中函数名字的由来? - V2EX Ask Him Anything: Lisp 社区的核心贡献者 - Kartik Agaram - V2EX 怎么看 Clozure Common Lisp 的 image 的内容? - V2EX 写了一份 Racket/Emacs 的入门配置指南 - V2EX 用过 racket 的进,其实只要你觉得有兴趣的都可以过来看看 - V2EX 又一个玩具 Scheme 解释器,使用 Python 编写 - V2EX 我使用 GNU Common Lisp 开始 Lisp 的学习 - V2EX 在读 On Lisp - V2EX 学Clojure的朋友们快去做4clojure啊! - V2EX Exercise SICP in Lua - V2EX 想给身边的人推荐lisp但是发现接受的很少 - V2EX Lisp 的 Vim 插件有什么推荐? - V2EX 有人关注ansi common lisp么?可以看一下豆瓣上的这两个贴 - V2EX SICP一書學完大約要多長時間? - V2EX 看了《黑客与画家》就觉得Lisp很强大要去学一下的人弱爆了,你们到底看没看明白作者的中心主旨是什么? - V2EX 求lisp的一些简单demo - V2EX 有对Lisp感兴趣的不? 自从看了黑客与画家就对这个很神往,除了AutoLisp有没有别的著名的应用呢? - V2EX 有人学或用Lisp的吗? - V2EX a haiku - V2EX 在Lisp节点里新建个主题 - V2EX
Scheme 与 Church Number - V2EX
abcdabcd987 · 2015-07-02 · via Lisp
abcdabcd987

2

abcdabcd987  

OP

   2015 年 7 月 28 日

@kcworms 嗯……其实我这里想说的是,这个函数会接受一个参数,然后返回这个参数
类似于线性变换中的恒等变换
类似于取一个数的1次幂

好吧,可能是有点啰嗦了,不过我的关注点并不在于 (add-1 zero) 直接展开的结果,而在于怎么用一个比较科学的方式解释这个事情。直接展开大家都会的,毕竟就是一个程式化的做法,但是我觉得要悟到其中精妙的地方,还是要想个合理的解释的 :-)