Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 12:00 - 12:30 at OCaml - Experience Chair(s): Greta Yorsh

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]

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

11:30 - 13:30: ExperienceOCaml at OCaml
Chair(s): Greta YorshJane Street

Sharing experience about using OCaml in various scenarios.

11:30 - 12:00
OCaml Under The Hood: SmartPy
12:00 - 12:30
A Declarative Syntax Definition for OCaml
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
12:30 - 13:00
LexiFi Runtime Types
Patrik KellerUniversity of Innsbruck, Marc LassonLexiFi
13:00 - 13:30
Types in amber
Paul StecklerO(1) Labs, Matthew RyanO(1) Labs