functional-programming - 在函数式编程中使用心理图像

Question

当使用纯函数式语言时，某种形式的心理意象或图表是否有助于可视化递归和开发延续？

Answer 1

首先来看this相关讨论。

如此处所述，函数式编程已经非常接近数学符号，可以通过符号数学 很好地理解和操作。 图表 通常不需要 OO 意义上的图表，因为它们可能模拟 FP 中根本不存在的状态交互。

例如，递归在这种符号方法中得到了很好的处理。您可以直接将定义扩展为数学意义上的真方程，以证明特征并获得非常直接、几乎类似于伪代码的概述。

map f [] = []
map f (x:xs) = (f x) : map f xs

没有比这更清楚的了!

不过，有一些隐喻对某些概念很有用，例如建模状态/序列的功能方法，即monads、applicatives , 箭头。有很多漂亮的图像可以可视化它们如何传播结果。例如:arrows 的传送带隐喻: