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

Displayed time zone: Eastern Time (US & Canada) change

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

Sharing experience about using OCaml in various scenarios.

11:30
30m
Talk
OCaml Under The Hood: SmartPy
OCaml
12:00
30m
Talk
A Declarative Syntax Definition for OCaml
OCaml
Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
Pre-print
12:30
30m
Talk
LexiFi Runtime Types
OCaml
Patrik Keller University of Innsbruck, Marc Lasson LexiFi
13:00
30m
Talk
Types in amber
OCaml
Paul Steckler O(1) Labs, Matthew Ryan O(1) Labs