Я принимаю Майкла Генезерта General Game Playing (GGP) Coursera course. В GGP игроку разрешено фиксированное количество времени, чтобы сделать ход. Я пишу своих игроков в Скале. (Базовая кодовая база GGP - это Java.) Предоставляет ли Scala какую-либо поддержку (или есть библиотеки Scala), которые могут использоваться, чтобы гарантировать, что вычисление будет отвечать в заданное время.Scala и обработка с ограничением по времени
0
A
ответ
3
Вы можете использовать Futures и получить результат с помощью Await.result(future, duration)
или одного из подходов в Scala Futures - built in timeout?.
Спасибо. Я посмотрю на них. – RussAbbott
Теперь я вижу, что другой вариант - использовать Актеры и их метод ['context.setReceiveTimeout'] (http://doc.akka.io/docs/akka/snapshot/scala/actors.html). – RussAbbott