F#：“nameof”运算符的引用透明度

Question

我对 F# 不是很了解，但我喜欢函数式编程，因此我使用 F# 作为我的一些个人项目的灵感。

我最近正在阅读关于新的文档 F# 的功能，我喜欢 nameof 运算符的一部分。

然而，在深入研究这个想法之后，我意识到它可能不是引用透明的......就像这样，表达式可以被它的值替换，反之亦然，而且它就可以工作。

所以...

let sum = +;
nameof (sum)

应该返回相同的

nameof (+)

但他们不...

所以...缺乏引用透明度是故意的吗？函数式程序员如何将其与函数式编程的原则相协调？

在写这个问题时，我意识到 nameof 的行为就像一个宏，因此，同样的问题也适用于宏。

FP 程序员如何协调宏的非引用透明度与 FP 原则？

Answer 1

nameof 不是传统意义上的函数或运算符。它是一种元编程功能，可根据 F# 编译器执行名称解析的方式发出名称的字符串表示形式。这也是为什么在编辑器中，它被着色为关键字而不是任何其他 F# 函数。

如下：

let sum = +;
nameof (sum)

产生 sum 不仅是设计，而且正是 F# 和 .NET 程序员期望从此功能中获得的行为，特别是因为这（或多或少）也是 C# 所做的。我个人认为，对于名为 nameof 的东西来说，如果它不按字面意思给出我要传递给它的内容的名称，那将是非常意外的。