是否有任何内置函数可供人类可读的 F# 引用？

Question

引用时

<@ 1 + 1 @>

我想要“1 + 1”

而不是

"Call (None, Int32 op_Addition[Int32,Int32,Int32](Int32, Int32), [值 (1)，值 (1)])"

Answer 1

你必须自己写。请参阅 F# 引用可视化工具 代码作为转换引用抽象语法树的指南。

Answer 2

我已经实现了一个引文反编译器，作为大型开源项目 Unquote 的一部分。它可以将许多简单的 F# 引用表达式反编译为单行非轻语法字符串（有关反编译器功能的列表，请参阅项目主页）。例如，

> decompile <@ (11 + 3) / 2 = String.length ("hello world".Substring(4, 5)) @>;;
val it : string =
  "(11 + 3) / 2 = String.length ("hello world".Substring(4, 5))"

@Kurt Schelfthout 关于将 F# 引用反编译为人类可读形式时面临的许多挑战是正确的。但从我迄今为止的工作来看，我相信编写一个可以生成正确的 F# 代码的引用反编译器是可能的。以匹配表达式和计算表达式为例，Unquote 反编译器可以在以下简单情况下生成正确的 F# 代码：

> decompile <@ match true with | true -> "hi" | _ -> "bye"  @>;;
val it : string =
  "let matchValue = true in if matchValue then "hi" else "bye""

> decompile <@ seq {yield 1; yield 2}  @>;;
val it : string =
  "seq (Seq.delay (fun unitVar -> Seq.append (Seq.singleton 1) (Seq.delay (fun unitVar -> Seq.singleton 2))))"

中缀和前缀运算符不太难（如第一个示例中所示），但是源结构（例如换行和缩进）是一个有趣的主题（尽管我认为并不是非常困难）。然而，单行非轻量语法足以满足 Unquote 的要求。

Answer 3

没有，而且也不是那么容易，除非是非常简单的情况。例如，主要问题之一是匹配结构。它是一大堆 if 和 switch 语句的语法糖（尝试打印带有匹配项的引用，您会看到）。其中另一个重要因素是计算表达式，但我想您可以一开始就跳过它们。

然后，您必须解决一个充满歧义的兔子洞，其中包括诸如管道运算符开始新行、let 开始新行、缩进、中缀、前缀、特殊情况（例如 (::) 运算符等）的约定四。

总而言之，可行，但并非微不足道。有点像反编译。