最近我读了很多关于函数式编程的东西，大部分我都能理解，但有一件事我就是搞不懂，那就是无状态编码。在我看来，通过删除可变状态来简化编程就像通过删除仪表盘来“简化”一辆汽车:最终产品可能更简单，但希望它能与最终用户交互。
几乎我能想到的每个用户应用程序都将状态作为核心概念。如果你写了一个文档(或一个SO post)，状态会随着每一个新的输入而改变。或者如果你玩电子游戏，会有大量的状态变量，从所有角色的位置开始，这些角色往往会不断移动。如果不跟踪不断变化的值，您怎么可能做任何有用的事情呢?
每次我发现一些讨论这个问题的东西，它都是用真正的技术函数语言写的，假设我没有浓厚的FP背景。有谁知道如何向那些对命令式编码有很好的、扎实的理解，但在函数方面完全是n00b的人解释这一点吗?
编辑:到目前为止，一堆回复似乎试图让我相信不可变值的优点。我懂你的意思。这很有道理。我不明白的是，在没有可变变量的情况下，如何跟踪必须不断变化的值。
当前回答
Functional programming avoids state and emphasizes functionality. There's never any such thing as no state, though the state might actually be something that's immutable or baked into the architecture of what you're working with. Consider the difference between a static web server that just loads up files off the filesystem versus a program that implements a Rubik's cube. The former is going to be implemented in terms of functions designed to turn a request into a file path request into a response from the contents of that file. Virtually no state is needed beyond a tiny bit of configuration (the filesystem 'state' is really outside the scope of the program. The program works the same way regardless of what state the files are in). In the latter though, you need to model the cube and your program implementation of how operations on that cube change its state.
其他回答
我现在才开始讨论这个问题，但是我想为那些正在与函数式编程作斗争的人补充几点。
函数式语言维护与命令式语言完全相同的状态更新，但它们是通过将更新后的状态传递给后续的函数调用来实现的。这是一个沿着数轴移动的简单例子。您的状态是您当前的位置。
首先是命令式方式(在伪代码中)
moveTo(dest, cur):
while (cur != dest):
if (cur < dest):
cur += 1
else:
cur -= 1
return cur
现在是函数式的方式(在伪代码中)。我非常依赖三元运算符，因为我希望有命令式背景的人能够读懂这段代码。所以如果你不经常使用三元运算符(我总是避免它在我的命令式的日子)下面是它是如何工作的。
predicate ? if-true-expression : if-false-expression
您可以通过将一个新的三元表达式放在假表达式的位置来连接三元表达式
predicate1 ? if-true1-expression :
predicate2 ? if-true2-expression :
else-expression
考虑到这一点，下面是函数版本。
moveTo(dest, cur):
return (
cur == dest ? return cur :
cur < dest ? moveTo(dest, cur + 1) :
moveTo(dest, cur - 1)
)
这是一个简单的例子。如果这是在游戏世界中移动人，你就必须引入一些副作用，如在屏幕上绘制对象的当前位置，并根据对象移动的速度在每次调用中引入一些延迟。但你仍然不需要可变状态。
The lesson is that functional languages "mutate" state by calling the function with different parameters. Obviously this doesn't really mutate any variables, but that's how you get a similar effect. This means you'll have to get used to thinking recursively if you want to do functional programming. Learning to think recursively is not hard, but it does take both practice and a toolkit. That small section in that "Learn Java" book where they used recursion to calculate factorial does not cut it. You need a toolkit of skills like making iterative processes out of recursion (this is why tail recursion is essential for functional language), continuations, invariants, etc. You wouldn't do OO programming without learning about access modifiers, interfaces etc. Same thing for functional programming.
我的建议是做小Schemer(注意我说的是“做”而不是“读”)，然后做SICP的所有练习。当你完成时，你的大脑会和刚开始时不一样。
我觉得这里有点误会。纯函数式程序有状态。不同之处在于该状态是如何建模的。在纯函数式编程中，状态是由接受某个状态并返回下一个状态的函数操作的。然后通过将状态传递给纯函数序列来实现状态排序。
甚至全局可变状态也可以这样建模。例如，在Haskell中，程序是一个从World到World的函数。也就是说，你传入整个宇宙，程序返回一个新的宇宙。但是，在实践中，您只需要传入您的程序实际感兴趣的部分。程序实际上返回一系列动作，作为程序运行的操作环境的指令。
您希望从命令式编程的角度对此进行解释。好的，让我们看一些用函数式语言编写的非常简单的命令式编程。
考虑下面的代码:
int x = 1;
int y = x + 1;
x = x + y;
return x;
相当标准的命令式代码。没有做什么有趣的事情，但这是可以用来说明的。我想你们会同意这里涉及到国家。变量x的值随时间变化。现在，让我们稍微改变一下符号，发明一个新的语法:
let x = 1 in
let y = x + 1 in
let z = x + y in z
加上括号使它的意思更清楚:
let x = 1 in (let y = x + 1 in (let z = x + y in (z)))
可以看到，状态是由一系列纯表达式建模的，这些纯表达式绑定了下面表达式的自由变量。
您会发现这个模式可以建模任何类型的状态，甚至IO。
请记住:函数式语言是图灵完备的。因此，任何用命令式语言执行的有用任务都可以用函数式语言完成。最后，我认为混合方法是有意义的。像f#和Clojure(我确信还有其他语言)这样的语言鼓励无状态设计，但在必要时允许可变性。
通过使用大量的递归。
用f#(一种函数式语言)玩地字游戏。
你不可能有一种有用的纯函数式语言。总会有一定程度的可变性需要处理，IO就是一个例子。
将函数式语言视为您使用的另一种工具。它对某些事情有好处，但对其他事情没有好处。你给出的游戏例子可能不是使用函数语言的最佳方式，至少屏幕会有一个可变的状态，你不能用FP做任何事情。使用FP思考问题的方式和解决问题的类型将不同于使用命令式编程所习惯的方式。
