引用真实用途

Question

我遇到了“引用”一词，我试图找出一些现实生活中使用它的例子。为每个代码表达式提供 AST 的能力听起来很棒，但如何在现实生活中使用它呢？

有谁知道这样的例子吗？

Answer 1

F# 和 Nemerle 引用都用于元编程，但方法不同：Nemerle 在编译时使用元编程来扩展语言，而 F# 在运行时使用它们。

Nemerle

在 Nemerle 中，宏中使用引号来分解代码片段并生成新代码。语言本身的大部分都是通过这种方式实现的。例如，这里是官方库中的一个示例 - 实现 when 条件构造的宏。 Nemerle 没有语句，因此 if 必须有 else 部分：when 和 unless 宏提供简写对于分别具有空 then 和 else 部分的 if 。 when 宏还具有扩展的模式匹配功能。

macro whenmacro (cond, body)
syntax ("when", "(", cond, ")", body)
{
    match (cond)
    {
    | <[ $subCond is $pattern ]> with guard = null
    | <[ $subCond is $pattern when $guard ]> =>
        match (pattern)
        {
        | PT.PExpr.Call when guard != null =>
            // generate expression to replace 'when (expr is call when guard) body'
            <[ match ($subCond) { | $pattern when $guard => $body : void | _ => () } ]>
        | PT.PExpr.Call =>
            // generate expression to replace 'when (expr is call) body'
            <[ match ($subCond) { | $pattern => $body : void | _ => () } ]>
        | _ =>
            // generate expression to replace 'when (expr is pattern) body'
            <[ match ($cond) { | true => $body : void | _ => () } ]>
        }
    | _ =>
            // generate expression to replace 'when (cond) body'
            <[ match ($cond : bool) { | true => $body : void | _ => () } ]>
    }
}

该代码使用引号来处理看起来像某些预定义模板的模式，并将它们替换为相应的 match 表达式。例如，将给定宏的 cond 表达式与：

<[ $subCond is $pattern when $guard ]>

检查它是否遵循 x is y when z 模式，并为我们提供组成它的表达式。如果匹配成功，我们可以从我们使用的部分生成一个新的表达式：

<[
    match ($subCond)
    {
    | $pattern when $guard => $body : void
    | _ => ()
    }
]>

这会将 when (x is y when z) body 转换为基本的模式匹配表达式。所有这些都是自动类型安全的，并且在使用不正确时会产生合理的编译错误。因此，正如您所看到的，引用提供了一种非常方便且类型安全的操作代码的方式。

Answer 2

好吧，每当您想要以编程方式操作代码或进行一些元编程时，引号都会使其更具声明性，这是一件好事。

我写了两篇文章，介绍这如何让 Nemerle 的生活变得更轻松：此处< /a> 和此处。

对于现实生活中的示例，有趣的是 Nemerle 本身将许多常见语句定义为宏（其中使用引号）。一些示例包括：if、for、foreach、while、break、<代码>继续和使用。

Answer 3

我认为引号在 F# 和 Nemerle 中的用途截然不同。在 F# 中，您不使用引号来扩展 F# 语言本身，而是使用它们来获取用标准 F# 编写的某些程序的 AST（代码的数据表示形式）。

在 F# 中，这可以通过将一段代码包装在 <@ ..F# code.. @> 中，或者通过向函数添加特殊属性来完成：

[<ReflectedDefinition>]
let foo () = 
  // body of a function (standard F# code)

Robert 已经提到了这种机制 - 您可以获取代码并将 F# 转换为 SQL 来查询数据库，但还有其他几种用途。例如，您可以：

• 将 F# 代码转换为 在 GPU 上运行
• 将 F# 代码转换为 使用 WebSharper 的 JavaScript

Answer 4

正如 Jordão 已经提到的那样，引用可以实现元编程。一个现实的例子是使用引号将 F# 翻译成另一种语言（例如 SQL）的能力。通过这种方式，引用服务器的用途与 C# 中的表达式树的用途大致相同：它们使 linq 查询能够转换为 SQL（或其他数据访问语言）并针对数据存储执行。

Answer 5

取消引用是引用使用的真实示例。