Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
Fri 28 Aug 2020 07:00 - 07:30 at OCaml - Ecosystem
Fri 28 Aug 2020 16:30 - 17:00 at OCaml - Recitation

Rendering OCaml document is widely known as a very difficult task: The ever evolving OCaml module system is extremely rich and can include complex set of inter-dependencies that are both difficult to compute and to render in a concise document. Its task is even harder than the typechecker at it also needs to keep tracks of documentation comments precisely and efficiently. As an example, signatures such as include F(X).T and destructive substitutions were never handled properly by any documentation generator.

Odoc is the latest attempt at creating a documentation tool which handles the full complexity of the OCaml language. It has been a long time coming as tackling both the module system and rendering into rich documents makes for a difficult task. Nevertheless we believe the two recent developments provides the final pieces of the OCaml documentation puzzle. This two improvements split odoc in two layers: a model layer, with a deep understanding of the module system, and a document layer allowing for easy definition of new outputs.

This talk will give a tour of the architecture of odoc, including how the model layer performs the jobs of path, fragment and reference resolution, signature expansion, and how aggressive caching can help with the performance. The talk will then present the document layer, its general structure and give an introduction on how to contribute new outputs. The rest of this abstract provides a glimpse of some challenges present is these two layers.

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

ocaml-2020-papers
05:30 - 08:30: OCaml 2020 - Ecosystem at OCaml
ocaml-2020-papers05:30 - 06:30
Keynote
ocaml-2020-papers06:30 - 07:00
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadOCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers07:00 - 07:30
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneUniversity of Freiburg, Germany, Leo WhiteJane Street
ocaml-2020-papers07:30 - 08:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers08:00 - 08:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers
15:30 - 17:30: OCaml 2020 - Recitation at OCaml
ocaml-2020-papers15:30 - 16:00
Talk
Joseph HarrisonUniversity of Kent, UK, Steven VaroumasUniversity of Kent, Simon ThompsonUniversity of Kent, Reuben RoweUniversity College London
ocaml-2020-papers16:00 - 16:30
Talk
Thomas LeonardOCaml Labs, Craig FergusonTarides, Kate DeplaixOCaml Labs, Magnus SkjegstadOCaml Labs, Anil MadhavapeddyOCaml Labs
ocaml-2020-papers16:30 - 17:00
Talk
Jonathan LudlamUniversity of Cambridge, Gabriel RadanneUniversity of Freiburg, Germany, Leo WhiteJane Street
ocaml-2020-papers17:00 - 17:30
Talk
Sadiq JafferOpsian and OCaml Labs, Sudha ParimalaIIT Madras, KC SivaramakrishnanIIT Madras, Tom KellyOCaml Labs, Anil MadhavapeddyOCaml Labs