Эта статья тематически связана с вики-проектом «Информационные технологии», цель которого — создание и улучшение статей по темам, связанным с информационными технологиями. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями.
Статья имеет перспективы; надо лишь получше постараться =) --Akim Dubrow 20:14, 24 апреля 2015 (UTC)
Освещение темы в русскоязычных источниках ОТСУТСТВУЕТ. Перевод слова "future" в качестве "полноправного" существительного (пригодного для описания первоклассной конструкции в языках) по словарю строго однозначен - "преднамеченность". Arachnelis (обс) 09:05, 10 августа 2016 (UTC)
There are four different types of future:
• concurrent futures
• lazy futures
• promised futures
• failed futures
...
From above we can see that the output is a future, because the thread has not evaluated the computation yet a future is used as a place-holder for the result. When the result is computed it will globally replace the future.
...
If a future fails for example in a call to itself or the future terminates with an exception it is called a lazy future. If a failed future is requested the exception that describes the failure will be returned.
Notable extensions are future-based concurrency and laziness
...
Futures are not limited to the core language, entire modules can be represented by futures, too.
...
Like in the core language, a module future is touched by particular operations:
...
Types (which includes signatures) may reside in structures. The existence of module futures hence implies the existence of type futures. The notion of a type future is a novel concept that, to the best of our knowledge, has not been considered before.
В разделе Futures and promises#Семантика future в модели акторов приводится выражение "future <Expression>", а далее объяснение происходящего идёт со ссылкой на какие-то не объявленные E, C, F, R, V. Далее, во фразе "Когда F получает запрос R, он проверяет, был ли ранее получен ответ" - непонятно, как и где он это может проверить. "Если V был получен", того или иного вида, то он посылается в ответ на R - но не сказано, кому. Так же не сказано, что в это время вынужден делать актор, которому понадобилось вычислить выражение <Expression> для продолжения выполнения каких-то своих дальнейших действий. --Nashev 16:16, 12 мая 2017 (UTC)