上传者: 38334677
|
上传时间: 2022-06-25 09:06:01
|
文件大小: 15KB
|
文件类型: ZIP
游戏“炸弹人”的纯函数式并发实现
么,什么是“纯”函数式程序?我将其定义为仅包含引用透明 函数的程序。但是为什么我们想要一个只包含引用透明函数的程序呢?我不会尝试自己解释答案,而是使用Scala出色解释中的规范函数式编程:
[参照透明] 启用了一种非常简单和自然的关于程序评估的推理模式,称为替代模型。当表达式在引用上是透明的时,我们可以想象计算的进行非常类似于求解代数方程。我们完全扩展表达式的每个部分,将所有变量替换为其所指对象,然后将其简化为最简单的形式。在每一步,我们用一个等价的术语替换一个术语;我们说计算是通过用equals代替equals来进行的。换句话说,RT 可以对程序进行等式推理。
既然“纯”函数式编程的好处已经很明显了,那么我们如何到达那里并将其应用到我们的 Bomber Man 实现中呢?游戏将由多个玩家组成,他们使用客户端(在我们的例子中是浏览器)向服务器发送动作,
更多详情、使用方法,请下载后阅读README.md文件