我正在学习 Michael Genesereth 的通用游戏 (GGP) Coursera 课程。在 GGP 中，玩家可以在固定的时间内移动。我正在用 Scala 编写我的播放器。（底层 GGP 代码库是 Java。）Scala 是否提供任何支持（或是否有任何 Scala 库）可用于帮助确保计算在给定时间内响应。
问问题
58 次
1 回答
3
您可以使用FuturesAwait.result(future, duration)并通过 Scala Futures中的一种方法获得结果- 内置超时？.
于 2014-04-30T08:42:22.530 回答