是的，对于一个纯函数来说返回时间是可能的，如果它把时间作为一个参数。不同的时间论据，不同的时间结果。然后形成其他时间函数，并将它们与函数(时间)转换(高阶)函数的简单词汇表结合起来。由于该方法是无状态的，因此这里的时间可以是连续的(与分辨率无关)，而不是离散的，从而极大地提高了模块化。这种直觉是函数式响应式编程(FRP)的基础。

是的，函数式编程中可以存在一个获得时间的函数，它使用了函数式编程的一个稍微修改过的版本，称为非纯函数式编程(默认的或主要的是纯函数式编程)。

在获取时间(或读取文件，或发射导弹)的情况下，代码需要与外部世界进行交互以完成工作，而这个外部世界并不是基于函数式编程的纯粹基础。为了允许纯函数式编程世界与这个不纯的外部世界进行交互，人们引入了不纯函数式编程。毕竟，不与外部世界交互的软件除了做一些数学计算之外没有任何用处。

很少有函数式编程语言具有这种内嵌的不纯特性，这样就不容易区分哪些代码是不纯的，哪些是纯的(如f#等)，而一些函数式编程语言确保当你做一些不纯的事情时，代码与纯代码相比明显突出，如Haskell。

另一种有趣的方式是，函数式编程中的get time函数将接受一个“world”对象，该对象具有世界的当前状态，如时间、生活在世界中的人数等。然后从世界对象中获取时间，这个世界对象总是纯的，即你在相同的世界状态下通过，你将总是得到相同的时间。

不引入计划生育的其他概念就可以回答这个问题。

可能性1:time作为函数参数

一门语言包括

语言核心和 标准库。

引用透明性是语言核心的属性，而不是标准库的属性。它绝不是用那种语言编写的程序的属性。

使用OP的符号，应该有一个函数

f(t) = t*v0 + x0; // mathematical function that knows current time

他们会要求标准库获取当前时间，比如1.23，并以该值作为参数f(1.23)(或者只是1.23*v0 + x0，参考透明!)来计算函数。这样代码就能知道当前时间。

可能性2:返回值为时间

回答OP的问题:

函数式编程中是否存在时间函数(返回当前时间)?

是的，但是这个函数必须有一个参数，你必须用不同的输入来计算它，这样它就会返回不同的当前时间，否则它就违反了FP的原则。

f(s) = t(s)*v0 + x0; // mathematical function t(s) returns current time

这是我上面所描述的另一种方法。但话又说回来，首先获取这些不同输入的问题仍然归结为标准库。

可能性3:函数式响应式编程

其思想是函数t()计算为与函数t2配对的当前时间。当需要当前时间时，调用t2()，它会给函数t3，以此类推

(x, t2) = t(); // it's x o'clock now
...
(x2, t3) = t2(); // now it's already x2 o'clock
...
t(); x; // both evaluate to the initial time, referential transparency!

关于FP还有更多，但我认为这超出了op的范围。例如，如何要求标准库计算一个函数，并以纯函数的方式对其返回值进行操作:这是关于副作用而不是参考透明度的。

大多数函数式编程语言都不是纯粹的，也就是说，它们允许函数不仅依赖于它们的值。在这些语言中，完全有可能有一个返回当前时间的函数。从你标记这个问题的语言中，这适用于Scala和f#(以及ML的大多数其他变体)。

在Haskell和Clean等纯语言中，情况就不同了。在Haskell中，当前时间不是通过函数，而是通过所谓的IO操作，这是Haskell封装副作用的方式。

在Clean中，它将是一个函数，但该函数将以一个世界值作为参数，并返回一个新的世界值(除了当前时间)作为结果。类型系统将确保每个世界值只能使用一次(并且每个消耗世界值的函数将产生一个新的世界值)。这样，每次调用time函数时都必须使用不同的参数，因此允许每次返回不同的时间。

“当前时间”不是一个函数。它是一个参数。如果您的代码依赖于当前时间，这意味着您的代码是由时间参数化的。

是的!你说对了!Now()或CurrentTime()或任何这种风格的方法签名都没有以某种方式显示引用透明性。但是通过对编译器的指令，它是由系统时钟输入参数化的。

通过输出，Now()可能看起来没有遵循引用透明性。但是系统时钟和它上面的功能的实际行为是坚持的 引用透明性。