nklofy的专栏

摘要：介绍了haskell的几种定义函数方式：模式匹配、高阶函数、函数组合

摘要：介绍了尾调用/尾递归调用（tail call/tail recursive call）的一般概念、形式、用法，以及CPS（continuation-passing style）的编程模式。

摘要：介绍了scheme的高阶函数用法，利用高阶函数处理列表，以及利用流实现惰性计算。

摘要：简要介绍了scheme语言中continuation的用法。解释了阴阳谜题程序的运行过程与结果。

这篇来自我在某问答网站上的一个回答。但我觉得这个问题很有价值，我思考和写作的时间花费了很久。所以我觉得有价值保存起来。  问题是，call/cc的类型是什么。我们知道，(call/cc (lambda (k) p))有两种用法，一种是(call/cc (lambda (k) (k a)))，例如(+ 1(call/cc (lambda (k) (k 2))))；一种是(call/cc