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 - 12:00|
Sebastien MondetMount Sinai - Hammer Lab
|12:00 - 12:30|
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of TechnologyPre-print
|12:30 - 13:00|
|13:00 - 13:30|