# Next priority for OCaml? **URL:** \ **Category:** Community\ **Created:** [July 7, 2023, 1:30pm UTC](https://discuss.ocaml.org/t/next-priority-for-ocaml/12561 "2023-07-07T13:30:41Z")\ **Posts on this page:** 1\ **Showing post:** 62
**Author:** ![gasche](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/gasche/32/4_2.png) [@gasche](https://discuss.ocaml.org/u/gasche)\ **Post date:** [July 20, 2023, 8:46am UTC](https://discuss.ocaml.org/t/next-priority-for-ocaml/12561/62 "2023-07-20T08:46:02Z")
I would be hard pressed to mention _one_ priority for OCaml, because I think that many things are important – and important in different ways for different people. I thought that I could give some information on what support I have been involved in, either as a compiler maintainer or as a member of the [OCaml Software Foundation](https://ocaml-sf.org/), on some of the topics that have been mentioned here. - Modular implicits: we’ve been trying to find people we could fund to make progress on this, but it is difficult – it requires a lot of type-system expertise, and time. We are funding internships with @yallop in Cambridge to experiment with the system, and I am thinking of getting my hands dirty during the next school year with some module-side implementation work – possibly diving into the PRs of Matthew Ryan. - Type system for effects: I have decided to setup an informal working group for people interested in working on this (mostly academics, also Jane Street) to exchange information, and in particular to decide a common set of evaluation criteria – with compatibility with existing non-effect-using OCaml code as a top priority. I hope to announce something more structured next September, with the aim of getting a clearer idea of potential design proposals by the end of the academic years. - Debuggers: the OCaml Foundation funded ocamlearlybird’s author in 2020-2021, hackwaly, before they stopped to work full-time for a startup. ( [[ANN] ocamlearlybird now an OCaml Software Foundation supported project](https://discuss.ocaml.org/t/ann-ocamlearlybird-now-an-ocaml-software-foundation-supported-project/6834) , [[ANN] ocamlearlybird 1.0.0 beta1](https://discuss.ocaml.org/t/ann-ocamlearlybird-1-0-0-beta1/7180) , etc. ) I learned a week ago that @sim642 is interested in continuing maintenance of the project, and we are looking at funding his work. - A priority that people don’t know about, but in my mind comes before “typed effects”, is to refactor and cleanup the implementation of the OCaml type checker, which has historically been a place of technical debt in the compiler. There has been a fair amount of work on this in the last year, driven by Jacques Garrigue as his group at Nagoya ( in particular Takafumi Saikawa ), with Florian Angeletti and myself on the reviewer side, and in the last few months some very welcome help from the Jane Street group working on language features (in particular Richard Eisenberg, Chris Casinghino, Nick Roberts) who have been lending a hand on refactoring and refactoring-reviewing work. - Relocatability: I agree with @smorimoto that this is important. I would want all OCaml packages to be relocatable, notably as the right first step to enable caching or even binary distribution of OCaml package build artifacts. There has been work in this direction from David Allsopp in the last few years, which I understand gets closer every year to being in a state that could be submitted as upstream PRs. My strategy so far is to wait for this to make progress. - Tooling, things that directly come to mind are: --- _[View the full topic](https://discuss.ocaml.org/t/next-priority-for-ocaml/12561)._