函数式编程魅力：Continuation-Passing Style，说为何 C#、C++ 引入 Lambda 意义重大及 C++ 和 C# 的缺憾

最新推荐文章于 2022-09-19 21:43:57 发布

光宇广贞

最新推荐文章于 2022-09-19 21:43:57 发布

阅读量9.4k

点赞数 1

分类专栏： F#.net C++ C#.net 文章标签： c++ c# lambda 编程 recursion 语言

本文链接：https://blog.csdn.net/hikaliv/article/details/4548561

版权

本文探讨了CPS（Continuation-Passing Style）在函数式编程中的作用，解释了C++和C#引入Lambda表达式的重要意义，并分析了这两种语言在实现CPS和递归时的局限性。CPS通过传递控制权实现函数间的流程控制，Lambda则是IP语言中实现CPS的关键。同时，文章提到了CPS在密集型计算、尾递归优化和异步调用中的应用，并指出C++和C#在支持FP技术方面的不足，如尾递归可能导致栈溢出的问题。

摘要由CSDN通过智能技术生成

文 / 李博（光宇广贞）

CPS，Continuation-Passing Style，后继传递格式。

顾名思义，该格式就是向后接力传递一个东西，传什么呢？引述维基百科对 CPS 的定义如下：

In functional programming, continuation-passing style is a style of programming in which control is passed explicitly in the form of a continuation.

CPS 实现 Fibonacci 一例

在展开讨论之前，先举一个函数式语言（FP）的小例子：