OCaml Package Management with (only!) Dune
This program is tentative and subject to change.
The OCaml build system Dune keeps track of a project’s dependencies on external software packages. Historically however, Dune has been unable to download or install these packages completely independently, relying on additional tools to perform these functions. This complicated the development of projects in OCaml as users needed to be fluent in both Dune as well as an additional tool (often opam) to manage a project’s dependencies. Recent work on Dune has added package management capabilities directly to the build system, enabling workflows where Dune is the only tool necessary to develop software in OCaml.
This talk will showcase Dune’s new package management features by developing an OCaml program starting from a bare system with no OCaml tooling installed.
This program is tentative and subject to change.
Fri 17 OctDisplayed time zone: Perth change
10:30 - 12:15 | |||
10:30 30mTalk | Taming the Flat Float Array Optimization: Tracking Separability in the Type System OCaml | ||
11:00 30mTalk | A Mechanically Verified Garbage Collector for OCaml OCaml Sheera Shamsu IIT Madras, Dipesh Kafle NIT Trichy, Tiruchirappalli, India, Dhruv Maroo IIT Madras, Chennai, Kartik Nagar IIT Madras, Karthikeyan Bhargavan Cryspen, France, KC Sivaramakrishnan IIT Madras and Tarides | ||
11:30 30mTalk | OCaml Package Management with (only!) Dune OCaml |