ocaml - 什么是 PPX？

Question

在许多使用 ReasonML 的项目中，缩写词 PPX 经常被使用，但很少解释。

什么是 PPX？

为什么 ReasonML 需要它们？

Answer 1

PPX(预处理器扩展)是一种抽象语法树 (AST) 重写器。本质上只是一个函数 ast => ast。

AST 是语法的表示，是解析源代码的树状数据结构。由于 PPX 只能接受和返回此 AST，因此它受限于现有的 OCaml/ReasonML 语法。但是，它可以重新解释语法，并且可以在字符串中嵌入完全不同的语法，从而实现语法扩展的有限和封装形式。

PPX 也不允许重写整个 AST。它们仅限于用户使用与现有节点关联的属性 ([@...)) 或扩展节点 ([%... ]) 是独立的 AST 节点。 PPX 将注册一个或多个 Hook ，这些 Hook 将在编译器遇到它们时接收与其关联的 AST，并且可以在编译器继续其阶段之前转换这些 AST 片段。

例子

ppx_deriving可能是使用最广泛的 PPX。它允许从类型签名“派生”某些功能。例如:

[@deriving show]
type t = {
  foo: int,
  bar: string,
};

将生成一个 show 函数(以及其他一些函数)，当给定一个 t 类型的值时，它将返回一个 pretty-print 字符串表示形式。

ppx_bx_css和 styled-ppx都是将 CSS 解析为一些 OCaml/ReasonML 数据结构的 PPXes，以便与各种 CSS-in-JS 库一起使用。它们将 CSS 语法嵌入带引号的字符串中，至少出于此目的，它只是一个允许换行且不需要转义 " 和 \ 的普通字符串。

  [%style
    {|
      color: red;
      margin: auto 0 10px 1em;
      width: 70%;
      background: url(http://example.com/test.jpg)
    |}
  ];