22
OCaml Labs & ocaml.org Anil Madhavapeddy OCaml Consortium Meeting November 2012 Monday, 26 November 12

OCaml Labs introduction at OCaml Consortium 2012

Embed Size (px)

Citation preview

Page 1: OCaml Labs introduction at OCaml Consortium 2012

OCaml Labs& ocaml.org

Anil Madhavapeddy

OCaml Consortium MeetingNovember 2012

Monday, 26 November 12

Page 2: OCaml Labs introduction at OCaml Consortium 2012

Alan Mycroft (PI): head of Programming Language group

Amir Chaudhry: program manager, neuroscience PhD

Anil Madhavapeddy (PI): Xen, Mirage, OpenBSD

Ian Leslie (PI): embedded systems, ex-head of Computer Lab

Leo White: postdoc, type system and tools (GADTs, open types)

Yaron Minsky: head of technology, Jane Street

Dave Scott: chief architect of Xen, Citrix

Jon Crowcroft: head of Systems Research Group

Balraj Singh: PhD student, Mirage developer, networking expert

Julian Chesterfield: storage architect, OnApp

Raphael Proust: PhD student, linear type systems

Mark Shinwell: Jane Street

http://www.cl.cam.ac.uk/projects/ocamllabs/people.html

Monday, 26 November 12

Page 3: OCaml Labs introduction at OCaml Consortium 2012

Varied Funding Sources:

Industrial partners:

Jane Street (main platform grant)

Citrix (equipment and staff)

UK Research Councils:

RCUK Horizon Digital Economy program

European Union:

FP7 STREP, Trilogy 2

DARPA:

Mission Critical Resilient Clouds (MRC2) (with SRI International)

Monday, 26 November 12

Page 4: OCaml Labs introduction at OCaml Consortium 2012

What we won’t do

We don’t want to build another empire

We don’t want to fragment the community

We don’t want to lose the existing great aspects of OCaml

Monday, 26 November 12

Page 5: OCaml Labs introduction at OCaml Consortium 2012

What we will do

Primary Goal: create an OCaml Platform that combines the core compiler with an effective set of libraries, tools and docs.

• Initially work with key stakeholders (OCaml Consortium) and eventually the community.

• Currently collaborating heavily with OCamlPro on a lot of this.

• Kick off ocaml.org infrastructure.

Monday, 26 November 12

Page 6: OCaml Labs introduction at OCaml Consortium 2012

What is ocaml.org?

www. ocaml.org -- public facing site

mirror. ocaml.org -- mirror of repos

opam. ocaml.org -- package manager

docs. ocaml.org -- documentation

lists. ocaml.org -- mailing lists

events. ocaml.org -- events listing

Monday, 26 November 12

Page 7: OCaml Labs introduction at OCaml Consortium 2012

www.ocaml.org

verson 1 is already live: great effort by Ashish Agarwal and Christophe Troestler!

version 2:

• Profession design input (already underway)

• Blog aggregation (planet_ocaml, reddit, etc)

Community edits currently via pull requests on Github (more on this later)

Monday, 26 November 12

Page 8: OCaml Labs introduction at OCaml Consortium 2012

opam.ocaml.org

80%+ approval rating and still pre-release(more popular than Obama!!!)

• v0.9 public beta in December

• v1.0 stable version in February

• v1.1 in Summer 2013

Blog to highlight aPackage of the Month

Monday, 26 November 12

Page 9: OCaml Labs introduction at OCaml Consortium 2012

opam.ocaml.org

Tool: cross-compilation, Windows, build system integration, more regression tests, binary packages, Platform integration

Meta-data: regression tests (windows etc), checking consistency of external libraries.

Website: better design, statistics, dynamic content (comments etc), blog/wiki, display meta-data for authors and maintainers

Monday, 26 November 12

Page 10: OCaml Labs introduction at OCaml Consortium 2012

opam.ocaml.orgAvailable operating systems:• Linux (x86_32, x86_64, armv6, armv7, ppc64)

• FreeBSD (x86_32, x86_64)

• OpenBSD (x86_32, x86_64, sparc64, ppc32)

• MacOS X (10.8 x86_64)• Windows (TBD)

Raspberry Pi build farm!Nice feature: ocaml.org will build and test your packages for you (via a Xen build farm hosted by Citrix)

Monday, 26 November 12

Page 11: OCaml Labs introduction at OCaml Consortium 2012

mirror.ocaml.org

Read-only mirror of OCaml(mirror of github.com/ocaml)

OPAM has shown that OCaml Github projects can succeed:

• 350+ issues closed

• 40+ 3rd-party branches

Can also mirror 3rd party packages

Monday, 26 November 12

Page 12: OCaml Labs introduction at OCaml Consortium 2012

docs.ocaml.orgCreative Commons O’Reilly Book

• interactive websitewith user comments

• interactive top-level

• translations

• private feedback RSN!

Monday, 26 November 12

Page 13: OCaml Labs introduction at OCaml Consortium 2012

docs.ocaml.org

Platform documentation

• unified ocamldoc (Leo White)

• IDE integration (medium term)

• interactive top-level (js_of_ocaml)

• tutorials

Monday, 26 November 12

Page 14: OCaml Labs introduction at OCaml Consortium 2012

lists.ocaml.org

Only two mailing lists at start:

• infrastructure@...

• platform@...

Can also hosts lists forPlatform-related projects

Planning migration from OCamlForge with Sylvain’s help.

Monday, 26 November 12

Page 15: OCaml Labs introduction at OCaml Consortium 2012

What is the Platform?Key components:

OPAM package management

Unified OCamlDoc++ online

Namespaces for stdlib management

Regression testing and long-term support establishes a quality bar for inclusion.

Monday, 26 November 12

Page 16: OCaml Labs introduction at OCaml Consortium 2012

Who is Platform for?

CoqCompcert

Form

al

Syste

ms

Distrib

uted

Web

Analys

is

Scien

tific

Frama-C

CIL

BioCaml XenMirage

Jane Street

Ocsigen

Arakoon

EliomLwt

UnisonAcunu

CCuredWhyPffff

CDuce

OPA

LiquidsoapMonday, 26 November 12

Page 17: OCaml Labs introduction at OCaml Consortium 2012

Toolchain Platform Systems

multicore

inlining

LLVM

regions

linearity open types

OPAM

web

book

6 monthlyreleases

community

mirage

signposts

embedded

rPi

perscon illuminate

CHERInigori

ARMMIPS32/64

JSmobile

actor

logging

database

Xen

disaggregated Xen

fault tolerance

audit

reliability

mirage

CitrixC-AwareHorizonLibrariesTools

Typerex

OCamlPro

upstream

experiment

maintain

evaluate

CompilerRuntime

Monday, 26 November 12

Page 18: OCaml Labs introduction at OCaml Consortium 2012

events.ocaml.org

OCaml 2013chaired by Michel Mauny

Place to publicise events(meet-ups, user-groups etc)

Hackathons(e.g NYC, Cambridge, Paris, ICFP)

Events management software?

Monday, 26 November 12

Page 19: OCaml Labs introduction at OCaml Consortium 2012

How we communicate

Regular status updates every 2 weeks

• Open for people to join via videoconf ?

• Results/notes/slides online after meeting

Mantis for core OCaml discussions.

The 2 mailing lists on ocaml.org

Monthly platform updates emailed publicly.

Monday, 26 November 12

Page 20: OCaml Labs introduction at OCaml Consortium 2012

Get Involved

• Direct support:

Commercial contracts with OCamlPro will help this effort hugely.

OCaml Labs can accept charitable gifts that are tax efficient also.

• Needs gathering:

Respond, criticize, test the Platform betas as they emerge.

Monday, 26 November 12

Page 21: OCaml Labs introduction at OCaml Consortium 2012

SummaryBy the next Consortium meeting, we aim to:

• Have a first released Platform

• Move to ocaml.org

• Have a hosted OPAM package system

• Host at least one hackathon somewhere

Monday, 26 November 12

Page 22: OCaml Labs introduction at OCaml Consortium 2012

Feedback?

Monday, 26 November 12