OCaml Software Foundation: January 2023 update

Dear all,

A quick update on recent works of the OCaml Software Foundation. It is a non-profit foundation (earlier thread) that receives funding from our industrial sponsors each year, and tries its best to spend it to support and strengthen the OCaml ecosystem and community.

(Previous update: summer 2022.)

The funding volume we receive each year is around 200K€. (For comparison: this is the yearly cost of one experienced full-time software engineer in many parts of the world.) We do not fund people full-time for long periods. Most actions receive from 3K€ to 20K€.
The work to prepare and execute actions is mostly done by the (unpaid) Executivee Committee. It is currently formed by Nicolás Ojeda Bär (‘nojb’), Damien Doligez, Xavier Leroy, Kim Nguyễn, Alan Schmitt and myself, with administrative personel provided by INRIA. (Alan Schmitt is a new member this year, he agreed to work as an “interim director” from September to March to reduce my own Foundation workload a bit. Thanks Alan.)

Our current sponsors (thanks!) are ahrefs, Jane Street, Tezos, Bloomberg, Lexifi, SimCorp, MERCE and Tarides. (If your company would like to join as a sponsor, please get in touch. Unfortunately, we still cannot efficiently process small donations, so we are not calling for individual donations.)

Feel free to use this thread for questions/suggestions :slight_smile:

Recent actions

Outreach

The OCaml Foundation is funding the OCaml User Meeting in Paris, which recently celebrated its 10th anniversary. We are interested in supporting OCaml meetups and events all over the world, please let us know if you are organizing something.

We will also sponsor the 2023 edition of ICFP, the International Conference on Functional Programming. It is the academic conference that hosts the OCaml Workshop, and is attended by research and industrial users of many of our neighbor languages (Haskell, F#, Scala, Erlang, Rust, etc.).

Community

We worked a few years ago on trying to build a group of OCamlers to establish a Code of Conduct (CoC) that could be adopted by interested organizations within the OCaml community, but this effort was on hold. We funded Sudha Parimala to rebuild this “code of conduct committee” and deliver a Code of Conduct that could be adopted.

Sudha and the committee members (who are not paid by the Foundation for their work) proposed a CoC text, received a ton of (sometimes tense) feedback from the community, and iterated to get a final version that was felt acceptable by most members of the community, and is already adopted by several organizations (including this Discuss). This was a delicate, controversial effort, and it is too soon to say if has really made our community stronger yet, but we hope that it will be the case and were impressed by the work of Sudha Parimala and the committee members (currently: Louis Roché, Marcello Seri, Raja Boujbel, Simon Cruanes and Sonja Heinze).

See the OCaml code of conduct repository for more details.

Ecosystem

We are currently (partially) supporting the work of several contributors to the OCaml ecosystem, including:

  • Jonah Beckford and his Diskuv OCaml distribution for Windows,
  • Daniel Bünzli for many ongoing contributions to the OCaml ecosystem,
  • Kiran Gopinathan for Gopcaml-mode and other contributions to the ecosystem,
  • Antonio Montero’s work on Melange,
  • Zach Shipko on ocaml-rs, and
  • Petter Urkedal on Caqti.

Thanks!

22 Likes