问如何判断一个F#函数是否是纯的？

EN

假设我有这两个F#函数：

let sq x = x*x

let tm = DateTime.Now

很明显，sq是纯的，因为它总是为给定的输入返回相同的值，而tm是不纯的，因为每次调用它时，它都会返回不同的值。

通常，是否有一种方法可以确定F#中的某个特定函数是纯的还是不纯的，而不需要分析它所做的事情，换句话说，就是逐行读取它？

或者，是否有一种方法来注释一个函数，以便在编写函数时告诉编译器该函数是纯的还是不纯的？

最后，当调用作为公共语言运行库(如DateTime)一部分的函数时，如何才能不尝试就知道它是纯的还是不纯的？

注:我所说的“纯”是指维基百科的定义：函数 (permalink)

在计算机编程中，如果这两种有关函数的语句都成立，则可以将函数描述为纯函数：

1. 函数总是根据相同的参数值计算相同的结果值。函数结果值不能依赖于任何隐藏的信息或状态，这些隐藏信息或状态可能随着程序执行的进行或程序的不同执行而发生变化，也不能依赖于来自I/O设备的任何外部输入。
2. 对结果的评估不会导致任何语义上可观察到的副作用或输出，例如可变对象的突变或输出到I/O设备。