最近我读了很多关于函数式编程的东西，大部分我都能理解，但有一件事我就是搞不懂，那就是无状态编码。在我看来，通过删除可变状态来简化编程就像通过删除仪表盘来“简化”一辆汽车:最终产品可能更简单，但希望它能与最终用户交互。
几乎我能想到的每个用户应用程序都将状态作为核心概念。如果你写了一个文档(或一个SO post)，状态会随着每一个新的输入而改变。或者如果你玩电子游戏，会有大量的状态变量，从所有角色的位置开始，这些角色往往会不断移动。如果不跟踪不断变化的值，您怎么可能做任何有用的事情呢?
每次我发现一些讨论这个问题的东西，它都是用真正的技术函数语言写的，假设我没有浓厚的FP背景。有谁知道如何向那些对命令式编码有很好的、扎实的理解，但在函数方面完全是n00b的人解释这一点吗?
编辑:到目前为止，一堆回复似乎试图让我相信不可变值的优点。我懂你的意思。这很有道理。我不明白的是，在没有可变变量的情况下，如何跟踪必须不断变化的值。
当前回答
通过使用大量的递归。
用f#(一种函数式语言)玩地字游戏。
其他回答
注意，说函数式编程没有“状态”有点误导，可能是造成混淆的原因。它肯定没有“可变状态”，但它仍然可以有被操纵的值;它们只是不能就地更改(例如，您必须从旧值创建新值)。
这是一个严重的过度简化，但是想象一下你有一个OO语言，其中类上的所有属性只在构造函数中设置一次，所有方法都是静态函数。您仍然可以通过让方法获取包含计算所需的所有值的对象，然后返回带有结果的新对象(甚至可能是同一对象的新实例)来执行几乎任何计算。
将现有代码转换为这种范式可能“很难”，但这是因为它确实需要一种完全不同的思考代码的方式。但作为一个副作用，在大多数情况下，您可以免费获得大量并行机会。
附录:(关于如何跟踪需要更改的值的编辑) 当然，它们会被存储在一个不可变的数据结构中……
这不是一个建议的“解决方案”，但最简单的方法是，你可以将这些不可变的值存储到一个类似map(字典/哈希表)的结构中，以“变量名”为键。
显然，在实际解决方案中，您应该使用更明智的方法，但这确实表明，如果其他方法都不起作用，那么在最坏情况下，您可以使用这样一个贯穿调用树的映射来“模拟”可变状态。
For highly interactive applications such as games, Functional Reactive Programming is your friend: if you can formulate the properties of your game's world as time-varying values (and/or event streams), you are ready! These formulae will be sometimes even more natural and intent-revealing than mutating a state, e.g. for a moving ball, you can directly use the well-known law x = v * t. And what's better, the game's rules written such way compose better than object-oriented abstractions. For example, in this case, the ball's speed can be also a time-varying value, which depends on the event stream consisting of the ball's collisions. For more concrete design considerations, see Making Games in Elm.
请记住:函数式语言是图灵完备的。因此，任何用命令式语言执行的有用任务都可以用函数式语言完成。最后，我认为混合方法是有意义的。像f#和Clojure(我确信还有其他语言)这样的语言鼓励无状态设计，但在必要时允许可变性。
让我们来回答更普遍的问题:
没有状态，你怎么做有用的事情?
你不。
寻找传统语言的替代品 我们必须首先认识到，一种制度不可能成为历史 敏感(允许执行一个程序来影响 一个后续的行为)，除非系统已经 某种状态(第一个程序可以改变这种状态) 而第二个可以访问)。因此，历史敏感 计算系统的模型必须具有状态转换 语义学，至少在这个弱意义上。 约翰·巴克斯。
(由我强调)
重要的是巴克斯随后的观察:
但这不是 意味着每个计算都必须严重依赖于 复杂状态[…]
像Haskell或Clean这样的函数式语言允许您轻松地将这种观察付诸实践:大多数定义都是普通的函数，就像您在数学教育中看到的那样。这就留下了一小群“杂七杂八的人”来处理所有恼人的外部状态，例如:
与用户互动， 与远程服务通信， 处理模拟使用随机抽样， 打印出一个SVG文件(例如海报)， 定期备份，
.．.两种语言都使用类型来区分普通和混杂。
有时，如果您试图实现的算法使用私有、局部可变状态实现，则效果最好。在这种情况下，你可以使用Haskell扩展来做到这一点，而不会让整个程序变得“内部杂乱”——详情请参阅John Launchbury和Simon Peyton Jones编写的State In Haskell。
这就是没有COMMON块的FORTRAN的工作方式:您将编写具有传入值和局部变量的方法。就是这样。
面向对象编程将我们的状态和行为结合在一起，但当我在1994年第一次从c++中接触到它时，它还是一个新思想。
天啊，当我还是机械工程师的时候，我是一个函数式程序员，而我却不知道!
