"Классическая" функциональная программа - это набор функций, вызывающих друг дружку. Всякие циклы и прочие привнесённые императивные штуки будем считать происходящими от лукавого. Таким образом всё, что остаётся для организации течения времени, - это прямая или косвенная рекурсия. А каждый рекурсивный вызов - это потенциальная интеракция.
Если взять например рекурсивную функцию, вычисляющей факториал, вызов "факториал(6)" ничего не знает о собственной предыстории. Был ли он вызван средой, или являлся частью более глубокой рекурсии для вычисления факториала(10) ? Узнать это нет никакой возможности.
Если вернуться к нашей ассоциации с жизню, то время у соответствующего контексту исполнения субъекта не течёт. Значения параметров не меняются (т.е. время даже измерить нечем). Внешний стимул (=вызов) порождает реакцию (возвращаемое значение), и максимум за такую жизнь удаётся принять один-единственный выбор (уходить в рекурсию или нет).
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2007-07-23 01:05 pm (UTC)Если взять например рекурсивную функцию, вычисляющей факториал, вызов "факториал(6)" ничего не знает о собственной предыстории. Был ли он вызван средой, или являлся частью более глубокой рекурсии для вычисления факториала(10) ? Узнать это нет никакой возможности.
Если вернуться к нашей ассоциации с жизню, то время у соответствующего контексту исполнения субъекта не течёт. Значения параметров не меняются (т.е. время даже измерить нечем). Внешний стимул (=вызов) порождает реакцию (возвращаемое значение), и максимум за такую жизнь удаётся принять один-единственный выбор (уходить в рекурсию или нет).