[quote="Kopa"]В Форте, похоже, это близко по семантике DEFER словам ( или VECT в SPF )[/quote]
а по мне, так даже к CREATE DOES> конструкции ближе...
но и VECT и VALUE тоже близки по сути, однако, они не локальны, то есть плохо распараллеливаться будут.

[quote="Kopa"]P.S. А вдруг, всё же, требуется результат на момент вызова слова в том контексте
его первичного использования.[/quote]
ну, тогда префикс делать. То есть TO Value ;) собственно оно так и делается

[quote="mOleg"]прочел первую статью журнала. сразу возникла мысля по поводу ленивых вычислений. [/quote]

Мне видется, что специфика ленивых вычислений немного надумана:)
и введена для ручного управления оптимизатором
( вдруг оптимизатор не догадается или слишком переусердствует ) .

В Форте, похоже, это близко по семантике DEFER словам ( или VECT в SPF )
( если использовать везде и для всего) и если дополнить [b]метками[/b] в месте
[b]действительного использования[/b]. ( можно расширить Форт, "ленивыми" словами,
но они, без меток использования, не должны выдавать результат
т.е. при обычном вызове не вычислять или сохранять результат внутри своей области данных
при [b]принудительной активации[/b] c заданными входными данными, а далее слово анализирует
наличие вычисленных результатов по внутреннему кешу для требуемых входных данных )

P.S. А вдруг, всё же, требуется результат на момент вызова слова в том контексте
его первичного использования.:)

прочел первую статью журнала. сразу возникла мысля по поводу ленивых вычислений. В том плане, что ими мы пользуемся, пример:
<pre>
0 VALUE Buffer

\ вернуть адрес буфера для данных
: buff ( --> addr )
Buffer DUP ?EXIT
10000 ALLOCATE THROW DUP TO Buffer ;
</pre>

то есть выделение памяти производится не при старте системы, а только по требованию, то есть при первом запросе.
вопрос в том, много ли в реальной программе таких мест?

кстати, данный процесс можно оформить в виде специальной конструкции, как-то так:
<pre>
: name ( ? )
bla bla bla
LAZY условие COMPUTE инициализация RETURN результат
bla bla bla
;
</pre>
или у кого-то есть лучший вариант?

только надо было написать, что журнал на Русском весь.
а то из условий распространения выходит, что он англоязычный...

Собственно первый номер здесь http://fprog.ru/2009/issue1/practice-fp-1-screen.pdf




Условия распространения:
You are free:

to Share — to copy, distribute and transmit the work
Under the following conditions:

Attribution — You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
Noncommercial — You may not use this work for commercial purposes.
No Derivative Works — You may not alter, transform, or build upon this work.
With the understanding that:

Waiver — Any of the above conditions can be waived if you get permission from the copyright holder.
Other Rights — In no way are any of the following rights affected by the license:
Your fair dealing or fair use rights;
The author's moral rights;
Rights other persons may have either in the work itself or in how the work is used, such as publicity or privacy rights.
Notice — For any reuse or distribution, you must make clear to others the license terms of this work. The best way to do this is with a link to this web page.