$30 off During Our Annual Pro Sale. View Details »

Workflows in the OCaml Platform

Workflows in the OCaml Platform

Describe progress towards codifying concrete supported workflows in the forthcoming OCaml Platform

Anil Madhavapeddy

August 22, 2019
Tweet

More Decks by Anil Madhavapeddy

Other Decks in Programming

Transcript

  1. Workflows in the OCaml Platform With many contributions from the

    OCaml community contributors and particularly Jeremie Dimino, Louis Gesbert, Raja Boujbel, Thomas Gazagnaire, Nathan Rebours for the content here
 (full list on slide 3) OCaml Workshop @ ICFP August 2019 Anil Madhavapeddy (speaker),
 Gemma Gordon, David Allsopp
 University of Cambridge Computer Laboratory
  2. The OCaml Platform opam packaging LTS (2.0.5) LGPLv2 dune building

    LTS (1.11.1) MIT DCO merlin editing stable (3.3.2) MIT utop exploring stable (2.4.1) BSD3 ocp-indent editing stable (1.7.0) LGPLv2 mdx testing stable (1.4.0) ISC bun testing devel (0.3.3) MIT odoc documenting devel (1.4.1) ISC dune-release packaging devel (1.3.2) ISC ocamlformat editing devel (0.11.0) MIT CLA in 2019
  3. Platform Contributors: 250+ Akinori Abe, Ashish Agarwal, Ion Alberdi, David

    Allsopp, Leo Andres, Olivier Andrieu, Florian Angeletti, Edgar Aroutiounian, Nicolas Assouad, Tuncer Ayaz, Anton Bachin, Nicolas Ojeda Bar, Mathieu Barbin, Yotam Barnoy, Jochen Bartl, Jacob Bass, Romain Beauxis, Daniel Below, Matthias Andreas Benkard, Josh Berdine, Vincent Bernardoff, Vincent Berthoux, Francois Bobot, Richard Bonichon, Nick Borden, Mehdi Bouaziz, Raja Boujbel, Frédéric Bour, Daniel Buenzli, Elliott Cable, Romain Calascibetta, Benjamin Canou, Hezekiah Carty, Pierre Chambart, Amir Chaudhry, Kaustuv Chaudhuri, Xavier Clerc, Raphael Cornet, Roberto di Cosmo, Simon Cruanes, Tim Cuthbertson, Milo Davis, Richard Davison, Enguerrand Decorne, Ian Denhardt, Kate Deplaix, Dani Dickstein, Jeremie Dimino, Stephen Dolan, Damien Doliguez, Matthieu Dubuget, Tim Dysinger, Spiros Eliopoulos, John Else, Mohamed Elsharnouby, Shon Feder, Fabrice Le Fessant, Jean- Christophe Filliatre, Jared Forsyth, Simon Fowler, Alain Frisch, Anders Peter Fugmann, Sylvain Le Gall, Jacques Garrigue, Thomas Gazagnaire, Louis Gesbert, Gaetan Gilbert, Geoff Gole, Gemma Gordon, Ivan Gotovchits, Rudi Grinberg, Michael Grunewald, Oliver Gu, Adrien Guatto, Xavier Guerin, Armaël Gueneau, Mads Hartmann, Andreas Hauptmann, Philipp Haselwarter Gregoire Henry, Hugo Heuzard Daniel Hillerström, Sebastien Hinderer, Juergen Hoetzel, Wilfred Hughes, Ronan Le Hy, Takayuki Imada, Keigo Imai, Riso Isrof, Vincent Jacques, Martin Jambon, Kevin Ji, David Kaloper-Mersinjak, Brandon Kase, Anton Kochkov, Tomasz Kolodziejski, Chis Konstad, Marek Kubica, Marc Lasson, Theo Laurent, Qi Li, Nandor Licker, Jon Ludlam, Thomas Leonard, Rodolphe Lepigre, Maxime Lesourd, Gabe Levi, Martin Lucina, Ximin Luo, Anil Madhavapeddy, Louis Mandel, Luc Marange, Claude Marche, Thierry Martinez, Laurent Mazare, Tim McGilchrist Hannes Mehnert, Perry E. Metzger, Wojciech Meyer, Etienne Millon, Ben Millwood, Samuel Mimram, Yaron Minsky, Cedric Le Moigne, Sebastien Mondet, Florent Monnier, Richard Mortier, Darin Morrison, Markus Mottl, Max Mouratov, Tony Narlock, Andre Nathan, Olivier Nicole, Jason Nielsen, Gregory Nisbet, Andrew Noyes, Leandro Ostera, Saswat Padhi, Egor Panfilov, Vasilis Papavasileiou, Guillaume Petiot, Bryan Phelps, Zach Ploskey, Lucas Pluvinage, Francois Pottier, Nicolas Pouillard, Mindy Preston, Bobby Priambodo, Dominic Price, Raphael Proust, Steve Purcell, Gabriel Radanne, Tahina Ramananandro, Daniel de Rauglaudre, Andrew Ray, Nathan Rebours, Thomas Refis, Jan Rehders, Chris Reichert, Andrea Richiardi, Marshall Roch, Louis Roche, Mario Rodas, Leonid Rozenberg, Julien Sagot, Gabriel Scherer, Bernhard Schommer, David Scott, Pavel Senchanka, Marcello Seri, David Sheets, Mark Shinwell, Zach Shipko, KC Sivaramakrishnan, Magnus Skjegstad, Ryan Slade, Romain Slootmaekers, Roma Sokolov, Anurag Soni, Benjamin San Souci, Patrick Stapfer, Jason Staten, Quentin Stievenart, Alessandro Strada, Sander Spies, Yury Sulsky, Thibault Suzanne, Willy Tan, Dario Teixeira, Rijnard van Tonder Edwin Torok, Christophe Troestler, Martin Trojer, Frederic Tuong, Pierre Vandenhove, Raman Varabets, Ramana Venkata, Ricky Vetter, Jordan Walke, Liang Wang, Philippe Wang, Marc Weber, Pierre Weis, Sebastian Wiesner, Leo White, John Whitington, Maverick Woo, Justin Wood, Hao Wu, Hongchang Wu, Jeremy Yallop, Syohei Yoshida, Jianxin Zhao, aalekseyev, art-w, asmanur, Axiles, chrismamo1, copy, dkim, Fourchaux, gerdstolpmann, Kakadu, madroach, mfp, mwweissmann, nberth, ncihnegn, nv-vn, Nyavlys, orbitz, polazarus, prometheansacrifice, pszilagyi, pveber, sliquister, tategakibunko, tddsg, torkve, whitequark, ygrek, zogg
  4. The OCaml Platform makes users productive with the OCaml language

    But who are these users? This talk will focus on the use-cases we are building the OCaml tooling for
  5. OS Distributions Big OCaml Project OCaml compiler sourceforge Debian RedHat

    OpenBSD ocamlforge inria Big OCaml Project in 2009
  6. OS Distributions Big OCaml Project OCaml compiler sourceforge Debian RedHat

    OpenBSD ocamlforge inria Big OCaml Project Primary mechanism for users to get software Packaged with apt, rpm, ports, etc No centralised distribution or version control in 2009
  7. opam-repository OS Distributions Big OCaml Project OCaml compiler sourceforge Debian

    RedHat OpenBSD ocamlforge inria Big OCaml Project lwt re extlib cryptokit async pxp xen in 2012 opam
  8. opam-repository OS Distributions Big OCaml Project OCaml compiler sourceforge Debian

    RedHat OpenBSD ocamlforge inria Big OCaml Project lwt re extlib cryptokit async pxp xen Centralised git repository of community code Chunk projects into shareable libraries in 2012 opam
  9. opam-repository OS Distributions Big OCaml Project OCaml compiler github Debian

    RedHat OpenBSD github Big OCaml Project lwt re extlib cryptokit async pxp dbm ocaml labltk camlp4 xen github in 2014 opam
  10. opam-repository OS Distributions Big OCaml Project OCaml compiler github Debian

    RedHat OpenBSD in 2014 github Big OCaml Project lwt re extlib cryptokit async pxp dbm ocaml labltk camlp4 xen github Almost everyone shifts to GitHub for hosting Compiler starts moving packages into opam opam
  11. opam-repository OS Distributions Big OCaml Project OCaml compiler github Debian

    RedHat OpenBSD github Big OCaml Project lwt re extlib cryptokit async pxp dbm ocaml labltk camlp4 xen github Arch macOS Alpine OpenSUSE Windows FreeBSD ocamlbuild ppx in 2015 opam
  12. opam-repository OS Distributions Big OCaml Project OCaml compiler github Debian

    RedHat OpenBSD github Big OCaml Project lwt re extlib cryptokit async pxp dbm ocaml labltk camlp4 xen github Arch macOS Alpine Lots more packaging work for OS distros opam used by most OCaml developers OpenSUSE Windows FreeBSD ocamlbuild ppx in 2015 opam opam CI tests many distributions on every PR
  13. opam-repository OS Distributions Big OCaml Project OCaml compiler github Debian

    RedHat OpenBSD github Big OCaml Project opam lwt re extlib cryptokit async pxp dbm ocaml labltk camlp4 xen github Arch macOS Alpine OpenSUSE Windows FreeBSD ocamlbuild ppx Reason
 ML in 2017 Package Managers npm yarn esy
  14. opam-repository OS Distributions Big OCaml Project OCaml compiler github Debian

    RedHat OpenBSD github Big OCaml Project opam lwt re extlib cryptokit async pxp dbm ocaml labltk camlp4 xen github Arch macOS Alpine OpenSUSE Windows FreeBSD ocamlbuild ppx Reason
 ML in 2017 Package Managers npm yarn esy Now packaging gets complex! Different workflows Poor opam is being overloaded
  15. A preponderance of wrapping

  16. make ocaml dpkg apt manual process of wrapping OCaml packages

    fixed versions of OCaml and libraries OS distro packaging done by distro maintainers
  17. make ocaml dpkg apt opam ocaml opam-repo ocamlbuild OS distro

    Dev Workflow
  18. make ocaml dpkg apt opam ocaml source oriented developer workflow

    opam-repo ocamlbuild multiple versions of OCaml and packages wrapping “make” or “ocamlbuild” OS distro Dev Workflow distro maintainers take a snapshot of opam-repo regularly
  19. make ocaml dpkg apt opam ocaml opam-repo ocamlbuild opam ocamlbuild

    opam-repo make esy npm OS distro Dev Workflow ReasonML ocaml
  20. OS distro Dev Workflow ReasonML make ocaml dpkg apt opam

    ocaml opam-repo ocamlbuild “distros cant keep up with package volume!” - Debian maintainer “pinning 100 packages takes a long time!” - MirageOS developer opam ocamlbuild opam-repo make esy npm ocaml “opam needs lock files to match the npm workflow!” - ReasonML maintainer “everyone is complaining about different things!” - Anil Madhavapeddy
  21. opam lib merlin lib debian redhat openbsd alpine arch macos

    npm brew esy lib ounit ppx mdx yarn cygwin wsl odoc format ocamlfind ocamlbuild SLOW ocaml
  22. User archetypes • “Library author” - Reusable ML logic, not

    directly executable - OCaml algorithms, protocols, data structures, numeric methods, … • “End user” - Wants to use an application written in OCaml - Has little patience to learn tools, wants to solve problems! • “Distribution maintainer” - Works on maintaining a Linux distro like Debian or RedHat - Needs to make OCaml apps interoperate with their own policies • “Web/mobile/unikernel developer” - Write in a frontend syntax like ReasonML - Cross-compile to targets like JavaScript, wasm, iOS, Android end-to-end workflows to improve
  23. The OCaml Platform Challenge #1:
 incrementally update tools without breaking

    any workflow Challenge #2:
 remove endless layers of tools wrapping tools 
 Our answer: dune and opam 
 - composable, declarative builds: specialised to OCaml - reduce choice: deprecate ocamlbuild, omake, make - far higher performance and reproducibility in return. in 2017 in 2019
  24. Rearranging responsibilities opam the tool has been overloaded! • We

    have two distinct styles of workflows: • libraries: collections of OCaml modules • projects: executables, data • shift build logic into new tool: dune • packaging is what opam continues to do
  25. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo

  26. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 opam solver ocaml.4.08.1 bar.1.0 foo.2.0
  27. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 make foo.1.0 install foo.1.0 make bar.0.3 install bar.0.3 opam solver ocaml.4.08.1 bar.1.0 foo.2.0
  28. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 make foo.1.0 install foo.1.0 make bar.0.3 install bar.0.3 opam solver make; ocamlbuild; ocamlfind; ocamldep; ocamlc; ocamlopt ocaml.4.08.1 bar.1.0 foo.2.0 install bin/foo install lib/ocaml/bar make; ocamlbuild; ocamlfind; ocamldep; ocamlc; ocamlopt
  29. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 make foo.2.0 install foo.2.0 make bar.1.0 install bar.1.0 opam solver make; ocamlbuild; ocamlfind; ocamldep; ocamlc; ocamlopt ocaml.4.08.1 bar.1.0 foo.2.0 install bin/foo install lib/ocaml/bar make; ocamlbuild; ocamlfind; ocamldep; ocamlc; ocamlopt
  30. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam update foo ocaml.4.07.1 bar.0.3

    foo.1.0 make foo.2.0 install foo.2.0 make bar.1.0 install bar.1.0 opam solver make; ocamlbuild; ocamlfind; ocamldep; ocamlc; ocamlopt ocaml.4.08.1 bar.1.0 foo.2.0 install bin/foo install lib/ocaml/bar make; ocamlbuild; ocamlfind; ocamldep; ocamlc; ocamlopt
  31. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 opam solver ocaml.4.08.1 bar.1.0 foo.2.0
  32. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 opam solver ocaml.4.08.1 bar.1.0 foo.2.0 opam source bar.0.3 opam source foo.1.0 dune build ocamldep ocamlc ocamlopt bin/foo
  33. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 opam solver ocaml.4.08.1 bar.1.0 foo.2.0 opam source bar.0.3 opam source foo.1.0 dune build ocamldep ocamlc ocamlopt bin/foo Packaging
  34. foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install foo ocaml.4.07.1 bar.0.3

    foo.1.0 opam solver ocaml.4.08.1 bar.1.0 foo.2.0 opam source bar.0.3 opam source foo.1.0 dune build ocamldep ocamlc ocamlopt bin/foo Packaging Build
  35. User archetypes • “Library author” - Reusable ML logic, not

    directly executable - OCaml algorithms, protocols, data structures, numeric methods, … • “End user” - Wants to use an application written in OCaml - Has little patience to learn tools, wants to solve problems! • “Distribution maintainer” - Works on maintaining a Linux distro like Debian or RedHat - Needs to make OCaml apps interoperate with their own policies • “Web/mobile/unikernel developer” - Write in a frontend syntax like ReasonML - Cross-compile to targets like JavaScript, wasm, iOS, Android end-to-end workflows to improve
  36. Libraries foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 opam install version constraints

    multiple valid choices of versions Role: Library Author
  37. Projects unison.git tezos.git /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos git clone dune install Role: End User
  38. Projects unison.git tezos.git /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos binary is the only public output of projects git clone dune install every library needed is in source tree Role: End User dubbed a “duniverse”
  39. Projects unison.git tezos.git /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos Libraries foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 Role: Project Maintainer
  40. Projects unison.git tezos.git /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos Libraries foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 duniverse init uses opam solver to pull libraries into project library upgrade is per project Role: Project Maintainer
  41. Projects unison.1.2.0 tezos.2.3.0 /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos Libraries foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 Role: Distribution Maintainer
  42. Projects unison.1.2.0 tezos.2.3.0 /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos Libraries foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 debian can solve for a coinstallable library / project set dune can generate deb package metadata Role: Distribution Maintainer
  43. Projects unison.git tezos.git /lib /foo /src /bar /lib /foo /src

    /bar /bin unison /bin tezos Libraries foo.1.0 foo.2.0 bar.0.2 bar.0.3 bar.1.0 esy / npm can vendor multiple versions of libraries dune artefact cache does sharing Role: Web developer
  44. merlin ocamlformat mdx ppx ounit dune composable build specifications bun

    cohttp ctypes infer coq flow mirageos f* zarith libs/ app/ tools/
  45. opam merlin ocamlformat mdx ppx ounit dune multiple versions of

    libraries composable build specifications bun cohttp ctypes infer coq flow mirageos f* zarith libs/ app/ tools/
  46. opam merlin debian redhat *bsd alpine arch macos ocamlformat mdx

    ppx ounit generate upstreamable OS packages dune cygwin wsl ubuntu multiple versions of libraries composable build specifications bun cohttp ctypes infer coq flow mirageos f* zarith libs/ app/ tools/
  47. opam merlin debian redhat *bsd alpine arch macos npm esy

    ocamlformat mdx ppx ounit generate upstreamable OS packages dune cygwin wsl generate package manager metadata ubuntu multiple versions of libraries composable build specifications bun cohttp ctypes infer coq flow mirageos f* zarith libs/ app/ tools/ yarn
  48. User archetypes • “Library author” - Reusable ML logic, not

    directly executable - OCaml algorithms, protocols, data structures, numeric methods, … • “End user” - Wants to use an application written in OCaml - Has little patience to learn tools, wants to solve problems! • “Distribution maintainer” - Works on maintaining a Linux distro like Debian or RedHat - Needs to make OCaml apps interoperate with their own policies • “Web/mobile/unikernel developer” - Write in a frontend syntax like ReasonML - Cross-compile to targets like JavaScript, wasm, iOS, Android end-to-end workflows to improve
  49. Next Steps: Library Author • Continue to use opam as

    you do today! • 1.2 -> 2.0 switch - everyone has switched now. Regular point releases of 2.0.x to cover portability, workflow fixes, sandboxing improvements. • New maintainer Raja Boujbel has cut recent releases, along with Louis Gesbert and David Allsopp. • Plans for opam 2.1 and 2.2 are: a new solver based on Z3, Windows support, integrated depext.
  50. Next Steps: Library Author 0 2000 4000 6000 8000 10000

    12000 01/01/12 01/01/13 01/01/14 01/01/15 01/01/16 01/01/17 01/01/18 01/01/19 01/01/20 %s Time unique opam packages
  51. Next Steps: Library Author • Existing CI system is popular

    and useful, but cumbersome to use • https://ci.ocaml.org/ • Working on next generation CI to make life easier: • https://github.com/ocaml-ci/ • https://ci.ocamllabs.io • Based on a DSL similar to dune rules, so can express complex workflows. • Term language that can work with CLI and web • Automate bug triage — revdep breakage • Easy to extend with Discourse, Slack, etc
  52. Next Steps: End User • Projects using duniverse now: •

    https://github.com/realworldocaml/book • https://github.com/avsm/duniverse • https://github.com/avsm/platform • Dune has been one of the fastest adopted Platform efforts since opam. • git clone; dune build
  53. Next Steps: End User opam dune merlin odoc ocamlformat ocp-indent

    utop bun publishing autoformatting editing documenting ppx_expect testing building "duniverse" monorepo for Platform project mdx
  54. Next Steps: End User • Coming soon in dune 2.0:


    dune artefact cache • https://github.com/ocaml/dune/pull/2493 • Reliable per-rule caching of binary artefacts • Works locally first, eventually networking • Will eventually support reproducible builds throughout our stack, and therefore safe networked binary caches of OCaml code.
  55. Next Steps: Project Maintainer • duniverse tool to bridge opam

    and dune https://github.com/avsm/duniverse • currently supports: • duniverse init: turn opam packages into git refs • duniverse pull: fetch git refs to local tree • coming soon: • duniverse update: merge new opam packages • duniverse install: add new opam packages
  56. Next Steps: Project Maintainer • Do you have to use

    dune to get these benefits?
  57. Next Steps: Project Maintainer Yes

  58. Next Steps: Project Maintainer • Do you have to use

    dune to get these benefits? • Yes, but we maintain a transition remote: • https://github.com/dune-universe/opam-overlays • duniverse prototype tool automates inserting overrides. • We will provide a formal specification of dune files, so other implementations can be built.
  59. Next Steps: Project Maintainer commit 632bc2eed00704bbbcdb5531d709c8d3f0cb0939 Author: Thomas Gazagnaire <thomas@gazagnaire.org>

    Date: Wed Mar 28 15:49:16 2012 +0200 Initial commit commit db943c24fe3ed5cec4dd432b1a01c66602d5f2f3 Author: Xavier Leroy <xavierleroy@users.noreply.github.com> Date: Sun Jul 24 19:04:21 2016 +0200 Add depexts for CentOS et al ~4 years opam-repo
  60. Next Steps: Project Maintainer commit 632bc2eed00704bbbcdb5531d709c8d3f0cb0939 Author: Thomas Gazagnaire <thomas@gazagnaire.org>

    Date: Wed Mar 28 15:49:16 2012 +0200 Initial commit commit db943c24fe3ed5cec4dd432b1a01c66602d5f2f3 Author: Xavier Leroy <xavierleroy@users.noreply.github.com> Date: Sun Jul 24 19:04:21 2016 +0200 Add depexts for CentOS et al ~4 years commit 93b5d9bdb9c25d1ea86a96a9c9fce93ecebd5c6d Author: Jeremie Dimino <jeremie@dimino.org> Date: Sun Oct 30 19:07:53 2016 +0000 initial import opam-repo dune
  61. Next Steps: Project Maintainer • But seriously, do not switch

    until ready. • Transitions for big projects can take years. • dune project is ready and willing to help users transition (e.g. coq, mirage, why3, frama-c) • ocaml 4.08.x has early dune files
  62. Next Steps: Project Maintainer • But seriously, do not switch

    until ready. • Transitions for big projects can take years. • dune project is ready and willing to help users transition (e.g. coq, mirage, why3, frama-c) • ocaml 4.08.x has early dune files (lang dune 1.10) ;; every metadata file is versioned
  63. Next Steps: Project Maintainer • But seriously, do not switch

    until ready. • Transitions for big projects can take years. • dune project is ready and willing to help users transition (e.g. coq, mirage) • ocaml 4.08.x has early dune files CHANGES in one year: 1.2.0: polling mode for build, private modules 1.3.0: robust merlin file generation, colors on Windows! 1.4.0: automatic code formatter targets, menhir rules 1.5.0: @check target for rapid type checking, cross compilation for ocamlfind 1.6.0: more flexible directory layouts for embedding in other projects 1.7.0: improved optimisation for cmx, install metadata, formally specified cycle detection 1.8.0: code promotion improvements, better c++ support, merlin on Windows 1.9.0: library variants and default implementations, coq support 1.10.0: generate opam metadata, future syntax shims, compile-time selection of os/arch 1.11.0: dune init, cinaps support, build version embedding, inline test improvements
  64. Next Steps: Distribution Maintainer • Our Linux distribution friends need

    more assistance! • Historically they have had good tooling to bridge, but now need better opam/dune integration. • Challenging new project in 2020 is Deb/RPM generation from duniverses.
  65. Next Steps: Distribution Maintainer • Vision: multiple coinstallable and buildable

    trees that represent all of Debian’s or CentOS’s OCaml code in one git tree. • This is incredibly essential for the future of OCaml development. • A single dune build can test tens of millions of lines of OCaml code with multicore, flambda, algebraic effects and other new features in OCaml.
  66. Next Steps: web/mobile/unikernel developer • duniverses make cross compilation to

    exotic targets extremely viable. • see talk on MirageOS 4 later today! • wrapping just a build system like dune frees esy / npm to do their own packaging • huge ecosystem potential of JavaScript, wasm, iOS/Android, unikernel, unlocked by OCaml
  67. The OCaml Platform opam LTS (2.0.5) LGPLv2 dune LTS (1.11.1)

    MIT DCO merlin stable (3.3.2) MIT utop stable (2.4.1) BSD3 ocp-indent stable (1.7.0) LGPLv2 mdx devel (1.4.0) ISC bun devel (0.3.3) MIT odoc devel (1.4.1) ISC dune-release devel (1.3.2) ISC ocamlformat devel (0.11.0) MIT CLA in 2019 discuss.ocaml.org
  68. The OCaml Platform in 2019… opam dune merlin odoc ocamlformat

    ocp-indent mdx utop bun publishing autoformatting editing documenting ppx_expect testing Closer integration between tools dune-release building
  69. Contact Lead Maintainers opam LTS (2.0.5) Raja Boujbel, Louis Gesbert

    dune LTS (1.11.1) Jeremie Dimino, Rudi Grinberg merlin stable (3.3.2) Fred Bour, Thomas Refis utop stable (2.4.1) Jeremie Dimino ocp-indent stable (1.7.0) Louis Gesbert mdx devel (1.4.0) Thomas Gazagnaire bun devel (0.3.3) Mindy Preston odoc devel (1.4.1) Anton Bachin, Jon Ludlam dune-release devel (1.3.2) Thomas Gazagnaire, Nathan Rebours ocamlformat devel (0.11.0) Josh Berdine, Guillaume Petiot in 2019 discuss.ocaml.org
  70. The OCaml Platform in 2019… opam dune merlin odoc ocamlformat

    ocp-indent utop bun publishing autoformatting editing documenting ppx_expect testing building "duniverse" monorepo for Platform project mdx
  71. The OCaml Platform opam LTS (2.0.5) LGPLv2 dune LTS (1.11.1)

    MIT DCO merlin stable (3.3.2) MIT utop stable (2.4.1) BSD3 ocp-indent stable (1.7.0) LGPLv2 mdx devel (1.4.0) ISC bun devel (0.3.3) MIT odoc devel (1.4.1) ISC dune-release devel (1.3.2) ISC ocamlformat devel (0.11.0) MIT CLA