Upload
anil-madhavapeddy
View
758
Download
2
Tags:
Embed Size (px)
Citation preview
OCaml Labs& ocaml.org
Anil Madhavapeddy
OCaml Consortium MeetingNovember 2012
Monday, 26 November 12
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
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
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
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
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
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
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
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
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
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
docs.ocaml.orgCreative Commons O’Reilly Book
• interactive websitewith user comments
• interactive top-level
• translations
• private feedback RSN!
Monday, 26 November 12
docs.ocaml.org
Platform documentation
• unified ocamldoc (Leo White)
• IDE integration (medium term)
• interactive top-level (js_of_ocaml)
• tutorials
Monday, 26 November 12
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
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
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
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
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
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
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
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
Feedback?
Monday, 26 November 12