как может существовать функция времени в функциональном программировании?

<p>я должен признать, что я не знаю много о функциональном программировании. я читал об этом здесь и там, и поэтому узнал, что в функциональном программировании функция возвращает один и тот же вывод для одного и того же ввода, независимо от того, сколько раз вызывается функция. это в точности как математическая функция, которая оценивает один и тот же выход для того же значения входных параметров, которое входит в выражение функции.</p><p>например, рассмотрим это:</p><pre><code>f(x,y) = x*x + y; // it is a mathematical function </code></pre><p>независимо от того, сколько раз вы используете <code>f(10,4)</code>, его значение всегда будет <code>104</code>. таким образом, где бы вы ни написали <code>f(10,4)</code>, вы можете заменить его на <code>104</code>, не изменяя значения всего выражения. это свойство называется <a href="http://en.wikipedia.org/wiki/referential\_transparency\_(computer\_science)">ссылочная прозрачность</a> выражения.</p><p>как говорит википедия ( <a href="http://en.wikipedia.org/wiki/functional\_programming">ссылка</a> ),</p><blockquote> <p>и наоборот, в функциональном коде выходное значение функции зависит только от аргументов, которые вводятся в функцию, поэтому двойной вызов функции f с одним и тем же значением для аргумента x даст тот же результат f(x) оба раза.</p> </blockquote><p>может ли функция времени (которая возвращает <em> текущее </em> время) существовать в функциональном программировании?</p><ul> <li> <p>если да, то как оно может существовать? не нарушает ли это принцип функционального программирования? это особенно нарушает <a href="http://en.wikipedia.org/wiki/referential\_transparency\_(computer\_science)">ссылочная прозрачность</a> , что является одним из свойств функционального программирования (если я правильно понимаю).</p> </li> <li> <p>а если нет, то как узнать текущее время в функциональном программировании?</p> </li> </ul>

<p>другой способ объяснить это так: нет <em>функция</em> не может получить текущее время (поскольку оно постоянно меняется), но <em>действие</em> может получить текущее время. допустим, что <code>getclocktime</code> - это константа (или нулевая функция, если хотите), которая представляет <em>действие</em> получения текущего времени. это <em>действие</em> одинаково каждый раз, независимо от того, когда оно используется, поэтому оно является реальной константой.</p><p>аналогично, скажем, <code>print</code> - это функция, которая принимает некоторое время и выводит его на консоль. поскольку вызовы функций не могут иметь побочных эффектов на чистом функциональном языке, мы вместо этого представляем, что это функция, которая берет временную метку и возвращает <em>action</em> печати ее на консоль. опять же, это реальная функция, потому что если вы дадите ей одну и ту же метку времени, она будет возвращать одно и то же <em>действие</em> печати ее каждый раз.</p><p>теперь, как вы можете распечатать текущее время на консоли? ну, вы должны объединить два действия. так как мы можем это сделать? мы не можем просто передать <code>getclocktime</code> <code>print</code>, так как print ожидает метку времени, а не действие. но мы можем представить, что существует оператор <code>>>=</code>, который <em>объединяет</em> два действия: одно получает метку времени, а другое принимает аргумент и печатает его. применение этого к ранее упомянутым действиям приводит к ... tadaaa ... новому действию, которое получает текущее время и печатает его. и это, кстати, именно так, как это делается в хаскеле.</p><pre><code>prelude> system.time.getclocktime >>= print fri sep 2 01:13:23 東京 (標準時) 2011 </code></pre><p>таким образом, концептуально вы можете посмотреть на это следующим образом: чисто функциональная программа не выполняет никаких операций ввода-вывода, она определяет <em>action</em>, которую затем выполняет система времени выполнения. <em>действие</em> всегда одинаково, но результат его выполнения зависит от обстоятельств, когда он выполняется.</p><p>я не знаю, было ли это более понятным, чем другие объяснения, но иногда это помогает мне думать об этом таким образом.</p>

<p>и да и нет.</p><p>различные функциональные языки программирования решают их по-разному.</p><p>в haskell (очень чистом) все это должно происходить во что-то, называемое <a href="http://www.haskell.org/tutorial/io.html">i/o monad</a> - смотрите <a href="http://www.haskell.org/haskellwiki/getting\_the\_current\_date">здесь</a> .</p><p>вы можете думать об этом как о получении другого входа (и выхода) в вашу функцию (состояние мира) или просто как о месте, где происходит "нечистота", такая как получение изменяющегося времени.</p><p>в другие языки, такие как f #, просто встроена некоторая нечистота, и поэтому вы можете иметь функцию, которая возвращает разные значения для одного и того же ввода - точно так же, как <em> нормальные </em> императивные языки.</p><p>как отметил джеффри бурка в своем комментарии: вот <a href="http://www.haskell.org/haskellwiki/io\_inside">хорошее введение в монаду ввода/вывода</a> прямо из вики haskell.</p>

<p>в haskell используется конструкция, называемая <em>monad</em>, для обработки побочных эффектов. монада в основном означает, что вы инкапсулируете значения в контейнере и имеете некоторые функции для объединения функций из значений в значения внутри контейнера. если наш контейнер имеет тип:</p><pre><code>data io a = io (realworld -> (a,realworld)) </code></pre><p>мы можем безопасно реализовывать действия io. этот тип означает: действие типа <code>io</code> - это функция, которая принимает токен типа <code>realworld</code> и возвращает новый токен вместе с результатом.</p><p>идея заключается в том, что каждое действие io изменяет внешнее состояние, представленное магическим токеном <code>realworld</code>. используя монады, можно связать несколько функций, которые изменяют реальный мир вместе. наиболее важной функцией монады является <code>>>=</code>, произносится как <em>bind</em>:</p><pre><code>(>>=) :: io a -> (a -> io b) -> io b </code></pre><p><code>>>=</code> принимает одно действие и функцию, которая берет результат этого действия и создает из него новое действие. тип возвращаемого значения - это новое действие. например, давайте представим, что есть функция <code>now :: io string</code>, которая возвращает строку, представляющую текущее время. мы можем связать его с помощью функции <code>putstrln</code>, чтобы распечатать:</p><pre><code>now >>= putstrln </code></pre><p>или написано в <code>do</code>- нотации, которая более знакома императивному программисту:</p><pre><code>do currtime <- now putstrln currtime </code></pre><p>все это чисто, поскольку мы отображаем мутацию и информацию об окружающем мире на токен <code>realworld</code>. таким образом, каждый раз, когда вы запускаете это действие, вы, конечно, получаете разные выходные данные, но они не совпадают: токен <code>realworld</code> отличается.</p>

<p>большинство функциональных языков программирования не являются чистыми, то есть они позволяют функциям не только зависеть от их значений. в этих языках вполне возможно иметь функцию, возвращающую текущее время. из языков, на которых вы отметили этот вопрос, это относится к <a href="http://en.wikipedia.org/wiki/scala\_%28programming\_language%29">scala</a> и <a href="http://en.wikipedia.org/wiki/f\_sharp\_%28programming\_language%29">f #</a> (а также к большинству других вариантов <a href="http://en.wikipedia.org/wiki/ml\_%28programming\_language%29">ml</a> ).</p><p>в таких языках, как <a href="http://en.wikipedia.org/wiki/haskell\_%28programming\_language%29">haskell</a> и <a href="https://en.wikipedia.org/wiki/clean\_(programming\_language)">clean</a> , которые являются чистыми, ситуация иная. в haskell текущее время будет доступно не через функцию, а через так называемое действие io, которое является способом haskell для инкапсуляции побочных эффектов.</p><p>в clean это будет функция, но функция примет мировое значение в качестве аргумента и вернет значение нового мира (в дополнение к текущему времени) в качестве результата. система типов будет гарантировать, что каждое мировое значение может быть использовано только один раз (и каждая функция, которая потребляет мировое значение, создаст новое). таким образом, функция времени должна вызываться каждый раз с другим аргументом, и, следовательно, каждый раз будет разрешено возвращать другое время.</p>

<p>"текущее время" не является функцией. это параметр. если ваш код зависит от текущего времени, это означает, что ваш код параметризован по времени.</p>

<p>это можно сделать абсолютно функциональным способом. есть несколько способов сделать это, но самый простой - сделать так, чтобы функция времени возвращала не только время, но и <em>функция, которую вы должны вызвать для получения следующего измерения времени</em>.</p><p>в c # вы можете реализовать это так:</p><pre><code>// exposes mutable time as immutable time (poorly, to illustrate by example) // although the insides are mutable, the exposed surface is immutable. public class clockstamp { public static readonly clockstamp programstarttime = new clockstamp(); public readonly datetime time; private clockstamp \_next; private clockstamp() { this.time = datetime.now; } public clockstamp nextmeasurement() { if (this.\_next == null) this.\_next = new clockstamp(); return this.\_next; } } </code></pre><p>(имейте в виду, что это пример, который должен быть простым, а не практичным. в частности, узлы списка не могут быть собраны сборщиком мусора, потому что они укоренены в programstarttime.)</p><p>этот класс clockstamp действует как неизменный связанный список, но на самом деле узлы генерируются по требованию, поэтому они могут содержать "текущее" время. любая функция, которая хочет измерить время, должна иметь параметр 'clockstamp' и также должна возвращать свое последнее измерение времени в своем результате (чтобы вызывающая сторона не видела старые измерения), например так:</p><pre><code>// immutable. a result accompanied by a clockstamp public struct timestampedvalue<t> { public readonly clockstamp time; public readonly t value; public timestampedvalue(clockstamp time, t value) { this.time = time; this.value = value; } } // times an empty loop. public static timestampedvalue<timespan> timealoop(clockstamp lastmeasurement) { var start = lastmeasurement.nextmeasurement(); for (var i = 0; i < 10000000; i++) { } var end = start.nextmeasurement(); var duration = end.time - start.time; return new timestampedvalue<timespan>(end, duration); } public static void main(string[] args) { var clock = clockstamp.programstarttime; var r = timealoop(clock); var duration = r.value; //the result clock = r.time; //must now use returned clock, to avoid seeing old measurements } </code></pre><p>конечно, немного неудобно проходить последнее измерение внутри и снаружи, внутри и снаружи, внутрь и наружу. есть много способов скрыть шаблон, особенно на уровне языкового дизайна. я думаю, что хаскелл использует этот вид трюка, а затем скрывает уродливые части, используя монады.</p>

<p>я удивлен, что ни один из ответов или комментариев не упоминает коалгебры или коиндукцию. обычно при рассуждениях о бесконечных структурах данных упоминается коиндукция, но она также применима к бесконечному потоку наблюдений, такому как регистр времени в цп. коалгебра моделирует скрытое состояние; и модели соиндукции <em>, наблюдающие </em> это состояние. (нормальные индукционные модели <em> создают </em> состояние.)</p><p>это горячая тема в реактивном функциональном программировании. если вы заинтересованы в подобных вещах, прочитайте это: <a href="http://digitalcommons.ohsu.edu/csetech/91/">http://digitalcommons.ohsu.edu/csetech/91/</a> (28 стр.)</p>

<p>да, для чистой функции возможно вернуть время, если оно указано в качестве параметра. другой аргумент времени, другой результат времени. затем формируйте и другие функции времени и объединяйте их с простым словарем функций (-временных) -преобразующих (высших порядков) функций. поскольку подход не использует состояние, время здесь может быть непрерывным (независимым от разрешения), а не дискретным, в значительной степени <a href="https://github.com/conal/talk-2014-bayhac-denotational-design#why-continuous-time-matters">повышение модульности</a> . эта интуиция является основой функционально-реактивного программирования (frp).</p>

<p>да! ты прав! now () или currenttime () или сигнатура любого метода такого типа не демонстрирует ссылочную прозрачность в одном отношении. но по указанию компилятору он параметризуется входом системных часов.</p><p>по выводу now () может выглядеть так, что не следует ссылочной прозрачности. но фактическое поведение системных часов и функции над ними придерживается ссылочной прозрачности.</p>

<p>да, функция получения времени может существовать в функциональном программировании с использованием слегка измененной версии функционального программирования, известной как нечистое функциональное программирование (по умолчанию или основной является чисто функциональное программирование).</p><p>в случае получения времени (или чтения файла, или запуска ракеты) код должен взаимодействовать с внешним миром, чтобы выполнить работу, и этот внешний мир не основан на чистых основах функционального программирования. чтобы позволить миру чистого функционального программирования взаимодействовать с этим нечистым внешним миром, люди ввели нечистое функциональное программирование. в конце концов, программное обеспечение, которое не взаимодействует с внешним миром, ничем не полезно, кроме как выполнять некоторые математические вычисления.</p><p>немногие функциональные языки программирования имеют такую встроенную особенность нечистоты, что нелегко отделить, какой код является нечистым, а какой - чистым (например, f # и т.д.), и некоторые функциональные языки программирования должны убедиться, что при выполнении некоторых нечистых вещей этот код явно выделяется по сравнению с чистым кодом, таким как haskell.</p><p>еще один интересный способ увидеть это состоит в том, что ваша функция get time в функциональном программировании будет принимать "мировой" объект, который имеет текущее состояние мира, такое как время, количество людей, живущих в мире, и т.д. объект всегда будет чистым, т. е. если вы перейдете в одно и то же состояние мира, вы всегда получите одно и то же время.</p>

<p>ваш вопрос объединяет две взаимосвязанные меры компьютерного языка: функциональный/императивный и чистый/нечистый.</p><p>функциональный язык определяет отношения между входами и выходами функций, а императивный язык описывает конкретные операции в определенном порядке выполнения.</p><p>чистый язык не создает побочных эффектов и не зависит от них, а нечистый язык использует их повсюду.</p><p>на сто процентов чистые программы в основном бесполезны. они могут выполнять интересные вычисления, но поскольку у них не может быть побочных эффектов, у них нет ввода или вывода, поэтому вы никогда не узнаете, что они рассчитали.</p><p>чтобы быть вообще полезной, программа должна быть как минимум нечистой. один из способов сделать чистую программу полезной - поместить ее в тонкую нечистую оболочку. как эта непроверенная программа на haskell:</p><pre><code>-- this is a pure function, written in functional style. fib 0 = 0 fib 1 = 1 fib n = fib (n-1) + fib (n-2) -- this is an impure wrapper around the pure function, written in imperative style -- it depends on inputs and produces outputs. main = do putstrln "please enter the input parameter" inputstr <- readline putstrln "starting time:" getcurrenttime >>= print let inputint = read inputstr -- this line is pure let result = fib inputint -- this is also pure putstrln "result:" print result putstrln "ending time:" getcurrenttime >>= print </code></pre>

<p>вы изучаете очень важный предмет в функциональном программировании, то есть выполнение ввода-вывода. многие <em>чистые</em> языки работают таким образом, используя встроенные предметно-ориентированные языки, например, подъязык, задача которого кодировать <em>действия</em>, что может иметь результаты.</p><p>например, среда выполнения haskell ожидает, что я определю действие с именем <code>main</code>, которое состоит из всех действий, составляющих мою программу. затем среда выполнения выполняет это действие. в большинстве случаев при этом выполняется чистый код. время от времени среда выполнения использует вычисленные данные для выполнения операций ввода-вывода и возвращает данные обратно в чистый код.</p><p>вы можете жаловаться, что это звучит как мошенничество, и в некотором роде: определяя действия и ожидая, что среда выполнения их выполнит, программист может делать все, что может делать обычная программа. но система жестких типов хаскелла создает сильный барьер между чистыми и "нечистыми" частями программы: вы не можете просто добавить, скажем, две секунды к текущему времени цп, и распечатать его, вы должны определить действие, которое приведет к текущему время процессора и передайте результат другому действию, которое добавляет две секунды и печатает результат. однако написание слишком большого количества программ считается плохим стилем, поскольку из-за этого сложно определить, какие эффекты вызваны, по сравнению с типами языка haskell, которые говорят нам <em>все</em> мы можем знать о значении.</p><p>пример: <code>clock\_t c = time(null); printf("%d\n", c + 2);</code> в c, против <code>main = getcputime >>= \c -> print (c + 2*1000*1000*1000*1000)</code> в haskell. оператор <code>>>=</code> используется для составления действий, передавая результат первого в функцию, результатом которой является второе действие. это выглядит довольно загадочно, компиляторы haskell поддерживают синтаксический сахар, который позволяет нам писать последний код следующим образом:</p><pre class="lang-hs prettyprint-override"><code>type clock = integer -- to make it more similar to the c code -- an action that returns nothing, but might do something main :: io () main = do -- an action that returns an integer, which we view as cpu clock values c <- getcputime :: io clock -- an action that prints data, but returns nothing print (c + 2*1000*1000*1000*1000) :: io () </code></pre><p>последнее выглядит весьма императивно, не так ли?</p>

<blockquote> <p>если да, то как оно может существовать? не нарушает ли это принцип функционального программирования? это особенно нарушает ссылочную прозрачность</p> </blockquote><p>он не существует в чисто функциональном смысле.</p><blockquote> <p>а если нет, то как узнать текущее время в функциональном программировании?</p> </blockquote><p>вначале может быть полезно узнать, как время извлекается на компьютере. по сути, есть встроенная схема, которая отслеживает время (именно поэтому компьютеру обычно требуется небольшая батарея). тогда может быть некоторый внутренний процесс, который устанавливает значение времени в определенном регистре памяти. который по существу сводится к значению, которое может быть получено процессором.</p><hr><p>для haskell существует концепция "действия ввода-вывода", представляющая тип, который может быть выполнен для выполнения некоторого процесса io. таким образом, вместо ссылки на значение <code>time</code> мы ссылаемся на значение <code>io time</code>. все это было бы чисто функционально. мы ссылаемся не на <code>time</code>, а на что-то вроде <em>'прочитать значение регистра времени'</em>.</p><p>когда мы на самом деле выполняем программу на haskell, действие io будет фактически иметь место.</p>