Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Fri 28 Aug 2020 12:00 - 12:30 at OCaml - Experience

In this talk we present our work on a syntax definition for the OCaml language in the syntax definition formalism SDF3. SDF3 supports high-level definition of concrete and abstract syntax through declarative disambiguation and definition of constructors, enabling a direct mapping to abstract syntax. Based on the SDF3 syntax definition, the Spoofax language workbench produces a complete syntax aware editor with a parser, syntax checking, parse error recovery, syntax highlighting, formatting with correct parenthesis insertion, and syntactic completion. The syntax definition should provide a good basis for experiments with the design of OCaml and the development of further tooling. In the talk we will highlight interesting aspects the syntax definition, discuss issues we encountered in the syntax of OCaml, and demonstrate the editor.

For an introduction to SDF3 with an OCaml inspired running example, see the paper

Luí­s Eduardo Amorim de Souza, Eelco Visser. Multi-Purpose Syntax Definition with SDF3. To appear in SEFM 2020. [PDF]

This program is tentative and subject to change.

Fri 28 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

11:30 - 13:30: OCaml 2020 - Experience at OCaml
ocaml-2020-papers11:30 - 12:00
Sebastien MondetMount Sinai - Hammer Lab
ocaml-2020-papers12:00 - 12:30
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
ocaml-2020-papers12:30 - 13:00
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
ocaml-2020-papers13:00 - 13:30
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs