A guide to extension points in OCaml - whitespace - whitequark [PDF]

Apr 16, 2014 - Extension points (also known as “ -ppx syntax extensions”) is the new API for syntactic extensions in

13 downloads 14 Views 67KB Size

Recommend Stories


Guide To Harvard Extension School
Ask yourself: Am I following the crowd or am I listening to my own heart and intuition? Next

A Beginner's Guide to Brexit in PDF
Ask yourself: What are the biggest actions you can take now to create the biggest results in your life?

OCaml + XDuce
I want to sing like the birds sing, not worrying about who hears or what they think. Rumi

[PDF] A Guide to SQL
Live as if you were to die tomorrow. Learn as if you were to live forever. Mahatma Gandhi

Construction Extension to the PMBOK® Guide
Your task is not to seek for love, but merely to seek and find all the barriers within yourself that

Extension User Guide
Be who you needed when you were younger. Anonymous

Eyelash Extension Training Guide
Never let your sense of morals prevent you from doing what is right. Isaac Asimov

Practical Generic Programming in OCaml
I cannot do all the good that the world needs, but the world needs all the good that I can do. Jana

Extension Harness Application Guide
If you are irritated by every rub, how will your mirror be polished? Rumi

Tax Extension in a Nutshell
In every community, there is work to be done. In every nation, there are wounds to heal. In every heart,

Idea Transcript


(a bit of) whitespace Has someone just said “lowlevel”? RSS Search » RSS Blog Archives Github Ruby Cross Reference Freenode IRC Logs Heads up! This is my old blog, which is no longer updated, doesn't reflect my current opinions, and remains here for archival purposes only. Please don't take it too seriously; and visit whitequark.org to see my current work!

A Guide to Extension Points in OCaml Apr 16th, 2014 Extension points (also known as “-ppx syntax extensions”) is the new API for syntactic extensions in OCaml. The old API, known as camlp4, is very flexible, but also huge, practically undocumented, lagging behind the newly introduced syntax in the compiler, and just overall confusing to those attempting to use it. Extension points are an excellent and very simple replacement introduced by Alain Frisch. In this article, I will explain how to amend OCaml’s syntax using the extension points API. Extension points are first released in OCaml 4.02. You will need to switch to 4.02 or a newer compiler, preferably using opam: 1 opam switch 4.02.1 2 opam install camlp4 ocamlfind oasis

What is Camlp4? At its core, camlp4 (P4 stands for Pre-Processor-Pretty-Printer) is a parsing library which provides extensible grammars. That is, it makes possible to define a parser and then, later, make a derived parser by adding a few rules to the original one. The OCaml syntax (two OCaml syntaxes, in fact, the original one and a revised one introduced specifically for camlp4) is just a special case. When using camlp4 syntax extensions with OCaml, you write your program in a syntax which is not compatible with OCaml’s (neither original nor revised one). Then, the OCaml compiler (when invoked with the -pp switch) passes the original source to the preprocessor as text; when the preprocessor has finished its work, it prints back valid OCaml code. There are a lot of problems with this approach: It is confusing to users. Camlp4 preprocessors can define almost any imaginable syntax, so unless one is also familiar with all the preprocessors used, it is not in general possible to understand the source. It is confusing to tools, for much the same reason. For example, Merlin has no plans to support camlp4 in general, and has implemented a workaround for few selected extensions, e.g. pa_ounit. Writing camlp4 extensions is hard. It requires learning a new (revised) syntax and a complex, scarcely documented API (try module M = Camlp4;; in utop—the signature is 16255 lines long. Yes, sixteen thousand.) It is not well-suited for type-driven code generation, which is probably the most common use case for syntax extensions, because it is hard to make different camlp4 extensions cooperate; type_conv was required to enable this functionality. Last but not the least, using camlp4 prevents OCaml compiler from printing useful suggestions in error messages like File "ifdef.ml", line 17: This '(' might be unmatched. Personally, I find that very annoying.

What is the extension points API? The extension points API is much simpler: A syntax extension is now a function that maps an OCaml AST to an OCaml AST. Correspondingly, it is no longer possible to extend syntax in arbitrary ways. To make syntax extensions useful for type-driven code generation (like type_conv), the OCaml syntax is enriched with attributes. Attributes can be attached to pretty much any interesting syntactic construct: expressions, types, variant constructors, fields, modules, etc. By default, attributes are ignored by the OCaml compiler. Attributes can contain a structure, expression or pattern as their payload, allowing a very wide range of behavior. For example, one could implement a syntax extension that would accept type declarations of form type t = A [@id 1] | B [@id 4] of int [@@id_of] and generate a function mapping a value of type t to its integer representation. To make syntax extensions useful for implementing custom syntactic constructs, especially for control flow (like pa_lwt), the OCaml syntax is enriched with extension nodes. Extension nodes designate a custom, incompatible variant of an existing syntactic construct. They’re only available for expression constructs: fun, let, if and so on. When the OCaml compiler encounters an extension node, it signals an error. Extension nodes have the same payloads as attributes. For example, one could implement a syntax extension what would accept a let binding of form let%lwt (x, y) = f in x + y and translate them to Lwt.bind f (fun (x, y) -> x + y). To make it possible to insert fragments of code written in entirely unrelated syntax into OCaml code, the OCaml syntax is enriched with quoted strings. Quoted strings are simply strings delimited with {| and |}, where is a (possibly empty) sequence of lowercase letters. They behave just like regular OCaml strings, except that syntactic extensions may extract the delimiter.

Using the extension points API On a concrete level, a syntax extension is an executable that receives a marshalled OCaml AST and emits a marshalled OCaml AST. The OCaml compiler now also accepts a -ppx option, specifying one or more extensions to preprocess the code with. To aid this, the internals of the OCaml compiler are now exported as the standard findlib package compiler-libs. This package, among other things, contains the interface defining the OCaml AST (modules Asttypes and Parsetree) and a set of helpers for writing the syntax extensions (modules Ast_mapper and Ast_helper). I won’t describe the API in detail; it’s well-documented and nearly trivial (especially when compared with camlp4). Rather, I will describe all the necessary plumbing one needs around an AST-mapping function to turn it into a conveniently packaged extension. It is possible, but extremely inconvenient, to pattern-match and construct the OCaml AST manually. The extension points API makes it much easier: It provides an Ast_mapper.mapper type and Ast_mapper.default_mapper value: 1 2 3 4 5 6 7 8 9 10 11 12 13

type mapper = { (* ... *) expr: mapper -> expression -> expression; (* ... *) structure: mapper -> structure -> structure; structure_item: mapper -> structure_item -> structure_item; typ: mapper -> core_type -> core_type; type_declaration: mapper -> type_declaration -> type_declaration; type_kind: mapper -> type_kind -> type_kind; value_binding: mapper -> value_binding -> value_binding; (* ... *) } val default_mapper : mapper

The default_mapper is a “deep identity” mapper, i.e. it traverses every node of the AST, but changes nothing. Together, they provide an easy way to use open recursion, i.e. to only handle the parts of AST which are interesting to you. It provides a set of helpers in the Ast_helper module which simplify constructing the AST. (Unlike Camlp4, extension points API does not provide code quasiquotation, at least for now.) For example, Exp.tuple [Exp.constant (Const_int 1); Exp.constant (Const_int 2)] would construct the AST for (1, 2). While unwieldy, this is much better than elaborating the AST directly. Finally, it provides an Ast_mapper.run_main function, which handles the command line arguments and I/O.

AST quasiquotation It is not very convenient to construct and deconstruct ASTs directly. To avoid this, the ppx_tools library provides AST quasiquotation: it allows to embed AST fragments as literals inside the source code. For example, it is possible to construct an expression using [%expr 2 + 2], inject a sub-AST from a variable into an expression with [%expr 2 + [%e number]], and even match over ASTs using match expr with [%expr [%e? lhs] + [%e? rhs]] -> lhs, rhs. ppx_tools also provides a rewriter tool that allows to test your syntax extension by feeding it source code fragments without using the somewhat awkward debugging options that the OCaml compiler provides. See the ppx_tools README for further information.

Example Let’s assemble it all together to make a simple extension that replaces [%getenv ""] with the compile-time contents of the variable . First, let’s take a look at the AST that [%getenv ""] would parse to. To do this, invoke the OCaml compiler as ocamlc -dparsetree foo.ml: 1 let _ = [%getenv "USER"]

1 2 3 4 5 6 7 8 9 10 11 12

[ structure_item (test.ml[1,0+0]..[1,0+24]) Pstr_eval expression (test.ml[1,0+8]..[1,0+24]) Pexp_extension "getenv" [ structure_item (test.ml[1,0+17]..[1,0+23]) Pstr_eval expression (test.ml[1,0+17]..[1,0+23]) Pexp_constant Const_string("USER",None) ] ]

As you can see, the grammar category we need is “expression”, so we need to override the expr field of the default_mapper: ppx_getenv.ml 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33

open Ast_mapper open Ast_helper open Asttypes open Parsetree open Longident let getenv s = try Sys.getenv s with Not_found -> "" let getenv_mapper argv = (* Our getenv_mapper only overrides the handling of expressions in the default mapper. *) { default_mapper with expr = fun mapper expr -> match expr with (* Is this an extension node? *) | { pexp_desc = (* Should have name "getenv". *) Pexp_extension ({ txt = "getenv"; loc }, pstr)} -> begin match pstr with | (* Should have a single structure item, which is evaluation of a constant string. *) PStr [{ pstr_desc = Pstr_eval ({ pexp_loc = loc; pexp_desc = Pexp_constant (Const_string (sym, None))}, _)}] -> (* Replace with a constant string with the value from the environment. *) Exp.constant ~loc (Const_string (getenv sym, None)) | _ -> raise (Location.Error ( Location.error ~loc "[%getenv] accepts a string, e.g. [%getenv \"USER\"]")) end (* Delegate to the default mapper. *) | x -> default_mapper.expr mapper x; } let () = register "getenv" getenv_mapper

The sample code also demonstrates how to report errors from the extension. This syntax extension can be easily compiled e.g. with ocamlbuild -package compiler-libs.common ppx_getenv.native. You can verify that this produces the desirable result by asking OCaml to pretty-print the transformed source with ocamlc -dsource -ppx ./ppx_getenv.native foo.ml, or, if ppx_tools is installed, ocamlfind ppx_tools/rewriter ./ppx_getenv.native foo.ml: 1 let _ = "whitequark"

Packaging When your extension is ready, it’s convenient to build and test it with OASIS, use ocamlfind to allow other packages to use it, and distribute via opam. The OASIS configuration I suggest is as follows: _oasis 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

# (header...) OCamlVersion: >= 4.02 FilesAB: lib/META.ab PreInstallCommand: $ocamlfind install ppx_getenv lib/META PreUninstallCommand: $ocamlfind remove ppx_getenv Executable ppx_getenv Path: lib BuildDepends: compiler-libs.common MainIs: ppx_getenv.ml CompiledObject: best Test test_ppx_protobuf Command: ocamlbuild -I lib -package oUnit \ -cflags '-ppx $ppx_getenv' \ lib_test/test_ppx_getenv.byte - TestTools: ppx_getenv

Findlib (ocamlfind) also supports ppx syntax extensions in version 1.5.2 or newer. To use it, add a file called lib/META.ab: META.ab 1 version = "$(pkg_ver)" 2 ppx = "ppx_getenv"

To use the syntax extension in other OCaml projects, simply require the ocamlfind package ppx_getenv, e.g. as ocamlfind ocamlc -package ppx_getenv. This will pass all necessary options to the compiler. The OPAM documentation nicely explains how to create a package, with instructions fully suitable for OASIS. Note that ideally, a build system should install a ppx extension under lib/ppx_getenv and use ppx = "./ppx_getenv" in the META file. This is to avoid polluting the global executable namespace with package-specific executables, and also avoiding name conflicts. However, OASIS does not make this easy, so in this example the executable is installed under bin.

Conclusion The extension points API is ready to be used in applications and is much nicer than camlp4.

References If you are writing an extension, you’ll find this material useful: Asttypes and Parsetree modules for writing matchers over the AST; Ast_helper for generating code; Ast_mapper for hooking into the mapper; extension_points.txt for a more thorough high-level description of the newly introduced syntax; experimental/frisch directory in general for a set of useful examples. Do note that not all of them are always updated to the latest extension points API; ocaml-ppx_getenv repository contains example code from this article. Other than the OCaml sources, I’ve found Alain Frisch’s two articles (1, 2) on the topic extremely helpful. I only mention them now because they’re quite outdated. Posted by whitequark Updated Apr 17th, 2014 ocaml, software « XCompose support in Sublime Text On tests and types »

Recent Posts On tests and types A guide to extension points in OCaml XCompose support in Sublime Text Page caching with Nginx Foundry has been cancelled

GitHub Repos parser A Ruby parser. Glasgow-JTAG null rack-utf8_sanitizer Rack::UTF8Sanitizer is a Rack middleware which cleans up invalid UTF8 characters in request URI and headers. @whitequark on GitHub Copyright © 2016 — whitequark — Powered by Octopress

Smile Life

When life gives you a hundred reasons to cry, show life that you have a thousand reasons to smile

Get in touch

© Copyright 2015 - 2024 PDFFOX.COM - All rights reserved.