Gesbert, Gemma Gordon, Anil Madhavapeddy (speaker), KC Sivaramakrishnan With contributions from Nicolas Assouad, Frédéric Bour, Daniel Buenzli, Romain Calascibetta, Amir Chaudhry, Enguerrand Decorne, Jeremie Dimino, Thomas Gazagnaire, Louis Gesbert, Armaël Guéneau, Daniel Hillerström, David Kaloper-Meršinjak, Théo Laurent, Qi Li, Jon Ludlam, Thomas Leonard, Maxime Lesourd, Hannes Mehnert, Richard Mortier, Olivier Nicole, Thomas Refis, David Scott, David Sheets, Mark Shinwell, Magnus Skjegstad, Liang Wang, Leo White, Jeremy Yallop, and members of the INRIA Galium team, OCamlPro and Jane Street. September 2017
This work is based on a huge collaborative effort • First some perspective on the past five years • Then a status update on 2017's developments • And finally a sneak preview of 2018 work
OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentation, testing and IDE integration. The project is a collaborative effort across the OCaml community, tied together by the OCaml Labs group in Cambridge, and OCamlPro in Paris. The requirements of the Platform are guided by large industrial users such as Jane Street, Citrix, Docker, Facebook, Microsoft and LexiFi, as well as accrued feedback from the opam project.
for OCaml. • Key PPX libraries now hosted in one place: • github.com/ocaml-ppx • more robust to OCaml compiler versions (ocaml-migrate- parsetree) • Getting rid of camlp4 is taking years. • Steady education process required for community. • Migration guides on discuss.ocaml.org would accelerate process. • e.g. pa_ulex -> sedlex CODE
Scalable protocol to communicate with IDEs • Robust Windows support. • Now promoted to https://github.com/ocaml/merlin • Community now using it as a standard for IDEs • Visual Studio Code, Atom, Sublime Text • Facebook Reason syntax support also. • More sophisticated short paths algorithm than upstream. CODE
expressive package dependencies • computed versions to make multiple packages easier depends: [ ... "datakit-server" {>= version} "datakit-client" {with-test & >= version} "datakit-github" {with-test & >= version} "alcotest" {with-test & >= version} ] Simplifies the package repository by making it easier to have many small libraries PACKAGE
expressive package dependencies • computed versions to make multiple packages easier • local switches for use per-project cd ~/src/project opam switch create ./ ... opam list PACKAGE
expressive package dependencies • computed versions to make multiple packages easier • local switches for use per-project • Solver integrated as a library, no external solver needed! PACKAGE
expressive package dependencies • computed versions to make multiple packages easier • local switches for use per-project • Solver integrated as a library, no external solver needed! • Windows support is being upstreamed! PACKAGE
expressive package dependencies • computed versions to make multiple packages easier • local switches for use per-project • Solver integrated as a library, no external solver needed! • Windows support is being upstreamed! PACKAGE But how do we get a usable package repository? Need a simpler build system Luckily 2017 has been kind to build...
Provide a description of your project, and it will be built! • Compose multiple checkouts in subdirs and it can be built in one pass • Integrates with opam to locate external packages • Multiple workspaces to support different OCaml versions or build options (e.g. afl or flambda) • Declarative model encourages portable build rules, so it often "just works" on Windows. • Fast. Really fast. BUILD
releases to opam, significantly improved CI to submitted packages • Automated infrastructure is very efficient vs engineering time, so scripting everything we can! • Currently expanding to meet new needs: benchmarking, fuzzing, and portability • Also need to automate the opam1 -> opam2 transition Please join the opam maintenance team! TEST
build Compile the current project check Analyze the current project and report errors clean Remove the target directory doc Build this project's and its dependencies' docs new Create a new cargo project init Create a new cargo project in an existing directory run Build and execute src/main.rs test Run the tests bench Run the benchmarks update Update dependencies listed in Cargo.lock search Search registry for crates publish Package and upload this project to the registry install Install a Rust binary an aside: cargo/rust Single binary, gives access to full Rust ecosystem Can we adopt same approach for Platform?
build Compile the current project check Analyze the current project and report errors clean Remove the target directory doc Build this project's and its dependencies' docs new Create a new OCaml project init Create a new OCaml project in an existing directory run Build and execute src/main.ml test Run the tests fuzz Run the fuzzer compat Check compatibility across different operating systems bench Run the benchmarks update Update dependencies listed in opam.lock search Search registry for opam packages publish Package and upload this project to the opam registry install Install an OCaml binary codename: bob
• Includes jbuilder, odoc, merlin, opam, alcotest, crowbar, topkg with a single CLI • Sensible defaults, with escape hatches for advanced users • Access to offline/online infrastructure: • dedicated continuous integration access • consistent OS support for Linux, Windows, macOS • search online community (odoc, opam, github) Will be released in 2018 as the first OCaml Platform release, with associated tools bundled
designed • We are starting an open design process this year, as we release opam 2.0 • opam maintenance window is around ~3-5 years, so want to get this revision right
OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentation, testing and IDE integration. The project is a collaborative effort across the OCaml community, tied together by the OCaml Labs group in Cambridge, and OCamlPro in Paris, and the whole OCaml community. See you on discuss.ocaml.org :)
avsm
beomi
eichisanden
sucitw
ivargrimstad
yujisoftware
yusukebe
tsoshiro
javiergs
.png){kind=avatar}
oidy
takahashiikki
corocn
texmeijin
eileencodes
afnizarnur
mclloyd
zakiyama
akosma
gr2m
pedronauck
irinanazarova
thoeni
holman
tenderlove
chriscoyier
