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

可能性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的范围。例如，如何要求标准库计算一个函数，并以纯函数的方式对其返回值进行操作:这是关于副作用而不是参考透明度的。

如果是，那它怎么可能存在?这难道不违反原则吗 函数式编程吗?它尤其违反了参照原则 透明度

它的存在不是纯粹的功能性的。

如果不是，那么如何知道当前时间是泛函的 编程吗?

首先，了解如何在计算机上检索时间可能是有用的。从本质上讲，有一个板载电路来记录时间(这就是电脑通常需要一个小电池的原因)。然后可能会有一些内部进程在某个内存寄存器上设置时间的值。这本质上可以归结为CPU可以检索到的值。

对于Haskell，有一个“IO动作”的概念，它表示一种类型，可以执行一些IO进程。因此，我们不引用时间值，而是引用IO时间值。所有这些都是纯功能性的。我们引用的不是时间，而是“读取时间寄存器的值”之类的东西。

当我们实际执行Haskell程序时，IO操作将实际发生。

这完全可以用纯功能的方式来完成。有几种方法可以做到这一点，但最简单的方法是让time函数不仅返回时间，还返回您必须调用以获得下一次时间测量的函数。

在c#中，你可以这样实现它:

// 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;
    }
}

(请记住，这是一个简单的示例，而不是实际的示例。特别是，列表节点不能被垃圾收集，因为它们是由ProgramStartTime根的。)

这个“ClockStamp”类就像一个不可变的链表，但实际上节点是按需生成的，所以它们可以包含“当前”时间。任何想要测量时间的函数都应该有一个'clockStamp'参数，并且必须在其结果中返回其最近的时间测量值(这样调用者就不会看到旧的测量值)，如下所示:

// 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
}

当然，这有点不方便，必须把最后的测量输入输出，输入输出，输入输出。隐藏样板文件的方法有很多，尤其是在语言设计级别。我认为Haskell使用这种技巧，然后通过使用单子隐藏丑陋的部分。

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

你的问题合并了计算机语言的两种相关衡量标准:函数式/命令式和纯粹/不纯粹。

函数式语言定义了函数的输入和输出之间的关系，命令式语言按照特定的执行顺序描述了特定的操作。

纯粹的语言不会产生或依赖副作用，而不纯粹的语言则自始至终都在使用副作用。

百分之百纯粹的程序基本上是无用的。他们可能会进行有趣的计算，但因为他们没有副作用，他们没有输入或输出，所以你永远不会知道他们计算了什么。

要想有用，一个程序至少要有一点不纯。使纯程序有用的一种方法是将它放在一个薄的非纯包装器中。比如下面这个未经测试的Haskell程序:

-- 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

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

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

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