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

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

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

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

在Haskell中，我们使用一个叫做monad的结构来处理副作用。单子基本上意味着你将值封装到容器中，并在容器中使用一些函数将值与值之间的函数链接起来。如果容器的类型为:

data IO a = IO (RealWorld -> (a,RealWorld))

我们可以安全地实现IO动作。IO类型的动作是一个函数，它接受一个RealWorld类型的令牌，并返回一个新的令牌和结果。

这背后的想法是，每个IO操作都会改变外部状态，由神奇的令牌RealWorld表示。通过使用单子，我们可以将多个函数链接在一起，从而改变现实世界。一个单子最重要的功能是>>=，发音为bind:

(>>=) :: IO a -> (a -> IO b) -> IO b

>>=取一个动作和一个函数，该函数取这个动作的结果并由此创建一个新的动作。返回类型是新动作。例如，假设现在有一个函数::IO String，它返回一个表示当前时间的String。我们可以用putStrLn函数链接它来打印它:

now >>= putStrLn

或者用do-Notation写，这对命令式程序员来说更熟悉:

do currTime <- now
   putStrLn currTime

所有这些都是纯粹的，因为我们将关于外部世界的突变和信息映射到RealWorld令牌。因此，每次运行此操作时，当然会得到不同的输出，但输入是不相同的:RealWorld令牌是不同的。

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

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

是也不是。

不同的函数式编程语言解决这些问题的方法不同。

在Haskell(一个非常纯粹的Haskell)中，所有这些东西都必须发生在一个叫做I/O单子的东西中——看这里。

你可以把它看作是将另一个输入(和输出)输入到你的函数(世界状态)中，或者更简单地认为是“不确定性”发生的地方，比如得到变化的时间。

像f#这样的其他语言只是内置了一些不纯性，所以你可以有一个函数为相同的输入返回不同的值——就像普通的命令式语言一样。

正如杰弗里·伯卡在他的评论中提到的: 下面是来自Haskell wiki的I/O单子的介绍。

另一种解释是:没有函数可以获得当前时间(因为它一直在变化)，但一个动作可以获得当前时间。让我们说getClockTime是一个常量(或者一个零函数，如果你喜欢的话)，它表示获取当前时间的动作。无论什么时候使用，这个动作每次都是一样的，所以它是一个真正的常数。

同样地，我们说print是一个函数，它需要一些时间来表示并将其打印到控制台。由于函数调用在纯函数式语言中不会产生副作用，因此我们将其想象为一个接受时间戳的函数，并返回将其打印到控制台的操作。同样，这是一个真实的函数，因为如果你给它相同的时间戳，它每次都会返回相同的打印操作。

Now, how can you print the current time to the console? Well, you have to combine the two actions. So how can we do that? We cannot just pass getClockTime to print, since print expects a timestamp, not an action. But we can imagine that there is an operator, >>=, which combines two actions, one which gets a timestamp, and one which takes one as argument and prints it. Applying this to the actions previously mentioned, the result is... tadaaa... a new action which gets the current time and prints it. And this is incidentally exactly how it is done in Haskell.

Prelude> System.Time.getClockTime >>= print
Fri Sep  2 01:13:23 東京 (標準時) 2011

因此，从概念上讲，您可以这样看待它:纯函数式程序不执行任何I/O，它定义了一个操作，然后运行时系统执行该操作。该操作每次都是相同的，但执行它的结果取决于执行时的情况。

我不知道这是否比其他解释更清楚，但它有时会帮助我这样思考。

这完全可以用纯功能的方式来完成。有几种方法可以做到这一点，但最简单的方法是让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使用这种技巧，然后通过使用单子隐藏丑陋的部分。