如何解开 Julia 表达式

Question

我一直试图从元编程的角度来理解 Julia，并且经常发现自己处于希望从 Expr 生成面向用户的 Julia 语法的位置。

在 GitHub 上搜索源代码，我发现了 femtolisp 中定义的“deparse”函数。不过好像完全没有暴露。

我可以通过哪些方法仅使用内部表示生成正确的 Julia 表达式？

P。 S. 生成的 Julia 代码应该有某种美化工具，你知道一些这样的（未注册的）pkg 吗？

~#~#~#~#~

更新

我已将 julia 源文件的所有 Meta.show_sexpr 存储到另一个文件中。

# This function is identical to create_adder implementation above.
function create_adder(x)
    y -> x + y
end

# You can also name the internal function, if you want
function create_adder(x)
    function adder(y)
        x + y
    end
    adder
end

add_10 = create_adder(10)
add_10(3) # => 13

转换为

  (:line, 473, :none),
    (:function, (:call, :create_adder, :x), (:block,
        (:line, 474, :none),
        (:function, (:call, :adder, :y), (:block,
            (:line, 475, :none),
            (:call, :+, :x, :y)
          )),
        (:line, 477, :none),
        :adder
      )),
    (:line, 480, :none),
    (:(=), :add_10, (:call, :create_adder, 10)),
    (:line, 481, :none),
    (:call, :add_10, 3))

现在，希望在 julia 中评估这些。

Answer 1

下面是一个函数示例，它采用元组形式的“s_expression”，并生成相应的 Expr 对象：

"""rxpe_esrap: parse expr in reverse :p """
function rpxe_esrap(S_expr::Tuple)
  return Expr( Tuple( isa(i, Tuple) ? rpxe_esrap(i) : i for i in S_expr )... );
end

演示

让我们生成一个漂亮的 s_expression 元组来测试我们的函数。
(_{不幸的是Meta.show_sexpr 不会生成字符串，它只是打印到 IOStream，因此要将其输出作为我们可以解析/评估的字符串，我们需要从文件中获取它，或者直接打印变成IOBuffer})

B     = IOBuffer();              # will use to 'capture' the s_expr in
Expr1 = :(1 + 2 * 3);            # the expr we want to generate an s_expr for
Meta.show_sexpr(B, Expr1);       # push s_expr into buffer B
seek(B, 0);                      # 'rewind' buffer
SExprStr = read(B, String);      # get buffer contents as string
close(B);                        # please to be closink after finished, da?
SExpr = parse(SExprStr) |> eval; # final s_expr in tuple form

导致以下 s_expression：

julia> SExpr
(:call, :+, 1, (:call, :*, 2, 3))

现在让我们测试一下我们的功能：

julia> rpxe_esrap(SExpr)
:(1 + 2 * 3)                     # Success!

---

<sub>注意事项：
1.这只是一个简单的功能来演示这个概念，显然如果要用于严肃的项目，这将需要适当的健全性检查。
2.这个实现只需要一个“s_expr tuple”参数；您的示例显示了一个对应于元组 sequence 的字符串，但大概您可以首先标记这样的字符串以获得各个元组参数，然后分别在每个元组上运行该函数。
3.有关 parse / eval 和 scope 的常见警告适用。此外，如果您想将 s_expr 字符串本身作为函数参数传递，而不是“s_expr 元组”，那么您可以修改此函数以在函数内移动 parse / eval 步骤。这可能是一个更好的选择，因为您可以在评估潜在危险代码等之前检查字符串包含的内容。
4. 我并不是说没有官方功能可以做到这一点。虽然如果有的话，我不知道。不过这写起来很有趣。</sub>