红帽公司的软件工程师。对函数式编程、范畴论以及数学和编程的其他交叉领域感兴趣。对墨西哥辣椒着迷。
您好 Florin，我不知道这本书，但我四处询问了一下。 有些人读过它，并推荐给坚定的初学者。
Tom 提出了一个很好的问题。 在这种情况下，输出的类型是 2 元组，或产品的“正常输出”和“下一个状态”。 有一些很好的抽象来构建程序以使用这种形式的状态，因此您不必总是显式地构造和解构（状态，输出）元组。
旁注：您可能会惊讶于您无需状态即可完成的事情！ 拥有状态可以更容易地表达程序或算法，但 Church-Turing 论题告诉我们，真正需要状态的算法...不存在 :)
撰写的评论
您好 Florin，我不知道这本书，但我四处询问了一下。 有些人读过它，并推荐给坚定的初学者。
Tom 提出了一个很好的问题。 在这种情况下，输出的类型是 2 元组，或产品的“正常输出”和“下一个状态”。 有一些很好的抽象来构建程序以使用这种形式的状态，因此您不必总是显式地构造和解构（状态，输出）元组。
旁注：您可能会惊讶于您无需状态即可完成的事情！ 拥有状态可以更容易地表达程序或算法，但 Church-Turing 论题告诉我们，真正需要状态的算法...不存在 :)