Upgrade to Pro — share decks privately, control downloads, hide ads and more …

QCon London 2018

QCon London 2018

Anil Madhavapeddy

March 07, 2018
Tweet

More Decks by Anil Madhavapeddy

Other Decks in Technology

Transcript

  1. Fast, Functional, Flexible Programming with OCaml Gemma Gordon (speaker),
 Anil

    Madhavapeddy (speaker), with contributions from the OCaml Labs team of David Allsopp, Stephen Dolan, Jeremy Yallop, Thomas Gazagnaire, and KC Sivaramakrishnan QCon London March 2018
  2. "Old Languages Made New" •Why ML is important among programming

    languages •What uses have driven the recent resurgence? •What we are doing to grow the community! •A look forward to the exciting developments coming.
  3. Background OCaml is a industrial grade, mixed-style functional and imperative

    language. From the ML heritage of programming languages (Milner, Stanford/Edinburgh/Cambridge) Originally the metalanguage for LCF, a theorem prover developed in the 1980s. Caml: 1987, Caml Light: 1990, OCaml: 1997 https://dev.realworldocaml.org/00-prologue.html
  4. OCaml: a quick primer let x = 1 let y

    = "world" let fn a = Printf.sprintf "%s %d %s" a x y let _ = print_endline (fn "hello") val x : int val y : string val fn : string -> string
  5. OCaml: a quick primer Variable names bound with “let” fn

    takes a string argument and returns a string Then we just print the result of calling fn let x = 1 let y = "world" let fn a = Printf.sprintf "%s %d %s" a x y let _ = print_endline (fn "hello")
  6. OCaml: a quick primer let x = 1 let y

    = "world" let fn a = Printf.sprintf "%s %d %s" a x y let _ = print_endline (fn "hello") Every value (functions or constants) has a static type val x : int val y : string val fn : string -> string # x + y;; Error: This expression has type string but an expression was expected of type int Mixing types up results in a compile time error
  7. OCaml: Features First Class Functions Static type checking Parametric Polymorphism

    Type Inference Algebraic Data Types Pattern Matching Language type t = Apple | Orange | Pear let is_apple fruit = match fruit with | Apple -> true | Orange -> false Warning 8: this pattern- matching is not exhaustive Here is an example of a case that is not matched: Pear
  8. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language
  9. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language JavaScript Common Lisp C# Java F# C++ Scala Rust Elm Influenced
  10. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language JavaScript Unikernels FPGAs Flexibility Containers Microcontrollers Wasm Proof Assistants Static Analysis Unix Mobile
  11. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language JavaScript Flexibility https://reasonml.github.io Wasm Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
  12. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language FPGAs Flexibility Microcontrollers HardCaml is a structural hardware design DSL embedded in Ocaml. The library can be used for front end design tasks up to the synthesis stage where a VHDL or Verilog netlist is generated. Libraries for fast simulation using LLVM, waveform viewing and co-simulation with Icarus Verilog are provided. HardCaml-RiscV is a simple pipelined RV32I core, targetted towards a FPGA implementation and built with HardCaml.
  13. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language Unikernels Flexibility Containers Unix Mobile https://mirage.io
  14. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language Flexibility Proof Assistants Static Analysis https://flow.org
  15. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language JavaScript Unikernels FPGAs Flexibility Containers Microcontrollers Wasm Proof Assistants Static Analysis Unix Mobile
  16. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language The working programmer needs a lot more than just a nice language these days!
  17. OCaml: Features Garbage Collection Fast Native Code Portable Bytecode First

    Class Functions Static type checking Parametric Polymorphism Type Inference Algebraic Data Types Static Linking Multiarchitecture Fast Foreign Functions Pattern Matching Runtime Language Libraries? Ecosystem Packages? Sharing? Editors? Documentation? Tests?
  18. What is the OCaml Platform? BUILD TEST EXPLAIN PACKAGE CODE

    The 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.
  19. What is the OCaml Platform? BUILD TEST EXPLAIN PACKAGE CODE

    The 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. Users with production deployments driving growth
  20. BUILD TEST EXPLAIN PACKAGE CODE The requirements of the Platform

    are guided by large industrial users such as Jane Street, Citrix, Docker, Microsoft, Facebook and LexiFi, as well as accrued feedback from the opam project. Trading Platform (trillions of dollars)
  21. BUILD TEST EXPLAIN PACKAGE CODE The requirements of the Platform

    are guided by large industrial users such as Jane Street, Citrix, Docker, Microsoft, Facebook and LexiFi, as well as accrued feedback from the opam project. Trading Platform (trillions of dollars) Published millions of lines of production OCaml basic libraries as open source code Real World OCaml O'Reilly Associates dev.realworldocaml.org
  22. BUILD TEST EXPLAIN PACKAGE CODE The requirements of the Platform

    are guided by large industrial users such as Jane Street, Citrix, Docker, Microsoft, Facebook and LexiFi, as well as accrued feedback from the opam project. Trading Platform (trillions of dollars) XenServer management stack (billions of VMs) Docker for Mac and Windows (millions of developers) Static Driver Verifier (millions of lines of code) Hack, Flow, Infer, ReasonML, ... (billions of users)
  23. BUILD TEST EXPLAIN PACKAGE CODE The requirements of the Platform

    are guided by large industrial users such as Jane Street, Citrix, Docker, Microsoft, Facebook and LexiFi, as well as accrued feedback from the opam project. A relatively small number of users with huge codebases and mission-critical uses. An unusual combination!
  24. BUILD TEST EXPLAIN PACKAGE CODE 2012 2011 2010 2009 <2008

    G godi ocamldoc ounit omake ocamlfind mirage oasis The wilderness years 3 hour "tutorial" at conference Every project an island odb
  25. BUILD TEST EXPLAIN PACKAGE CODE 2012 2011 2010 2009 <2008

    G 2017 2016 2015 2014 2013 opam 1.0 ocamlot godi ocamldoc ounit RWO merlin omake ocamlfind assemblage datakit-ci crowbar ocaml.org ocamllabs.io irmin ctypes git jbuilder odoc opam 2.0 mirage oasis topkg odig docker codoc OCaml Labs founded A surge of development AFP course Shift to smaller libs ocamlbuild
  26. BUILD TEST EXPLAIN PACKAGE CODE 2012 2011 2010 2009 <2008

    G 2017 2016 2015 2014 2013 opam 1.0 ocamlot godi ocamldoc ounit RWO merlin omake ocamlfind assemblage datakit-ci crowbar ocaml.org ocamllabs.io irmin ctypes git jbuilder odoc opam 2.0 mirage oasis topkg odig docker codoc AFP course Disaggregation & coevolution workflow support break out components distribute via opam ocamlbuild
  27. BUILD TEST EXPLAIN PACKAGE CODE 2012 2011 2010 2009 <2008

    G 2017 2016 2015 2014 2013 opam 1.0 ocamlot godi ocamldoc ounit RWO merlin omake ocamlfind assemblage datakit-ci crowbar ocaml.org ocamllabs.io irmin ctypes git jbuilder odoc opam 2.0 mirage oasis topkg odig docker codoc AFP course ocamlbuild "One in one out" Sustainable ecosystem Consistent interfaces ppx
  28. Merlin 3.0 • Major Merlin 3.0 developer tool release •

    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 https://github.com/reasonml-editor/vscode-reasonml
  29. Dune A build system specialised to real world OCaml code.

    Provide a description of your project, and it will be built! • Compose multiple checkouts in subdirs and it can be built in one pass • Multiple workspaces to support different OCaml versions or build options (e.g. afl or flambda) • Declarative model encourages portable build rules, so it "just works" on Windows. • Fast. Really fast. BUILD https://github.com/ocaml/dune
  30. Documentation odoc: generate HTML for a group of libraries, with

    cross referencing. http://docs.mirage.io $ opam install odoc odig $ opam install mirage # and anything $ odig odoc EXPLAIN
  31. OPAM 2.0beta • OPAM is the source-based package manager for

    publishing OCaml code, with package descriptions on GitHub. • Focus this year has been on stabilising the upcoming 2.0
 Over 7000 packages now managed PACKAGE opam.ocaml.org github.com/ocaml/opam-repository
  32. OPAM 2.0beta • OPAM is the source-based package manager for

    publishing OCaml code, with package descriptions on GitHub. • Focus this year has been on stabilising the upcoming 2.0
 Over 600 individual contributors to the repository PACKAGE opam.ocaml.org github.com/ocaml/opam-repository
  33. OPAM 2.0beta • New features in recent betas: • more

    expressive package dependencies • computed versions to make multiple packages easier • local switches for use per-project • Solver integrated as a library, now a standalone binary! • Windows support is being upstreamed! PACKAGE opam maintenance team has expanded to ~15 opam.ocaml.org github.com/ocaml/opam-repository
  34. Continuous Integration • Automated infrastructure is very efficient vs engineering

    time, so scripting everything we can! • Travis CI (Linux/macOS) and Appveyor (Windows) support works great with opam. • autoci generates the right .travis.yml or appveyor.yml config from your project metadata • Docker containers regularly rebuilt for many Linux distros and OCaml versions (Debian, Alpine, Ubuntu, RHEL, CentOS, Fedora, OpenSUSE, ...) TEST https://hub.docker.com/u/ocaml
  35. BUILD TEST EXPLAIN PACKAGE CODE 2012 2011 2010 2009 <2008

    G 2017 2016 2015 2014 2013 opam 1.0 ocamlot godi ocamldoc ounit RWO merlin omake ocamlfind assemblage datakit-ci autoci ocaml.org ocamllabs.io irmin ctypes git dune odoc opam 2.0 mirage oasis topkg odig docker codoc AFP course "One in one out" Sustainable ecosystem Consistent interfaces ppx
  36. The OCaml Community • OCaml, as an "old language" has

    a heady mix of academia, industry and open source enthusiasts. • Most “new languages” have a large corporate founders (Go has Google, Rust has Mozilla, Swift has Apple, ...) • Problem #1: academia and industry are both inflexible in their own ways for open-source development.
  37. Open Source Industry Academia OCaml compiler
 & runtime language &

    semantics platform
 & tools gifts Cambridge University Inria Caml
 Consortium ~2008 Jane Street grants
  38. Open Source Industry Academia OCaml compiler
 & runtime language &

    semantics platform
 & tools gifts OCaml Labs group OCaml Labs Consultancy Cambridge University Inria Caml
 Consortium ~2018 Jane Street VMWare Microsoft grants contracts
  39. PI: Anil Madhavapeddy, anil.recoil.org Technical Director:
 KC Sivaramakrishnan, kcsrk.info Operations

    Director:
 Gemma Gordon, reynard.io Postdocs:
 Stephen Dolan, Daniel Buenzli, David Allsopp, Jeremy Yallop Graduate Students:
 Heidi Howard, David Kaloper-Meršinjak Faculty:
 Richard Mortier, Alan Mycroft, Ian Leslie, Jon Crowcroft Fellows: Thomas Gazagnaire, Mark Shinwell, Leo White, Dave Scott, Hannes Mehnert Who is OCaml Labs? 2012-2017: University of Cambridge Part of the charity of the residential university. Difficult to operate outside of the UK. 2017-: Worldwide operations Established "contract" division to make it easier to operate outside of Cambridge, alongside the University. Romain Calascibetta (git), Nicolas Assouad (multicore), Frederic Bour (Merlin), Gabriel de Perthuis (storage), Mindy Preston (fuzz), Anton Bachin (odoc), Thomas Gazagnaire (platform), Rudi Grinberg (build) Co-working arrangement with University, but also remote work (Canada, USA, France, Netherlands, ...)
  40. Participation • Problem #2: welcoming new users without leaving traditional

    users behind • discuss.ocaml.org has been a big success in 2017/2018! • Found the sweet spot between interactive chat and email • Has had rapid adoption in the community • Maintains the right atmosphere to encourage newcomers • For the OCaml Platform: • Open up a semi-private area for senior maintainers to discuss the interlocking design decisions • Identify new maintainers from the community and empower them
  41. Online Community ocaml.org opam.ocaml.org realworldocaml.org lists.ocaml.org discuss.ocaml.org ci.ocaml.io docs.ocaml.org github.com/ocaml

    Unifying the design of these sites, with ocaml.org as the main public site Creating searchable API for all online OCaml resources
  42. ReasonML MirageOS HardCaml JavaScript Unikernels FPGAs Browser Cloud Hardware Beyond

    Von Neumann! ML could be the universal language for heterogenous hardware