Чем отличаются Clojure futures и promises?

отвечая в терминах Clojure, вот несколько примеров из скринкаст Шона Девлина:

(def a-promise (promise))
(deliver a-promise :fred)

(def f (future (some-sexp)))
(deref f)

обратите внимание, что в обещании вы явно предоставляете значение, которое вы выбираете в более позднем вычислении (:fred в данном случае). С другой стороны, будущее потребляется в том же месте, где оно было создано. Элемент some-expr предположительно запускается за кулисами и вычисляется в тандеме (в конечном итоге), но если он остается недооцененным к тому времени, когда он доступ к блокам потока, пока он не будет доступен.

---

редактировать, чтобы добавить

чтобы помочь еще больше отличить обещание от будущего, обратите внимание на следующее:

обещание

1. создать promise. Этот объект promise теперь может быть передан в любой поток.
2. вы продолжаете вычисления. Это могут быть очень сложные расчеты с участием побочных эффектов, загрузка данных, пользовательский ввод, доступ к базе данных, другие обещания-все, что вам нравится. Код будет очень похож на ваш основной код в любой программе.
3. когда вы закончите, вы можете deliver результаты к этому объекту обещания.
4. любой элемент, который пытается deref ваше обещание, прежде чем вы закончите с вашим расчетом будет блокировать, пока вы не закончите. Как только вы закончите, и вы deliverЭд обещание, обещание не блокировать длиннее.

будущее

1. вы создаете свое будущее. Часть вашего будущего-это выражение для расчета.
2. будущее может выполняться или не выполняться одновременно. Это может быть назначен поток, возможно, из пула. Он мог просто ждать и ничего не делать. С вашей точки зрения вы не можете сказать.
3. в какой-то момент Вы (или другой поток) derefs будущее. Если расчет уже завершен, вы получаете результат этого. Если он еще не завершен, вы блокируете, пока он не будет завершен. (Предположительно, если он еще не начался, derefing это означает, что он начинает выполняться, но это тоже не гарантируется.)

а вы может сделать выражение в будущем столь же сложным, как код, который следует за созданием обещания, сомнительно, что это желательно. Это означает, что фьючерсы действительно больше подходят для быстрых, фоновых расчетов, в то время как обещания действительно больше подходит для больших, сложных путей выполнения. Кроме того, обещания кажутся, с точки зрения доступных вычислений, немного более гибкими и ориентированными на создателя обещаний, выполняющего работу и другую нить, пожинающую урожай. Фьючерсы больше ориентированы на автоматический запуск потока (без уродливых и подверженных ошибкам накладных расходов) и продолжение других вещей, пока вам-исходному потоку-не понадобятся результаты.