# Oxidizing OCaml, and a new opam switch

**URL:** https://discuss.ocaml.org/t/oxidizing-ocaml-and-a-new-opam-switch/12942
**Category:** Ecosystem
**Tags:** type-system, ocaml
**Created:** [September 1, 2023, 6:15pm UTC](https://discuss.ocaml.org/t/oxidizing-ocaml-and-a-new-opam-switch/12942 "2023-09-01T18:15:16Z")
**Posts on this page:** 1
**Showing post:** 1

<div class="post-metadata">

### Author: ![Yaron\_Minsky](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/yaron_minsky/32/11_2.png) [@Yaron\_Minsky](https://discuss.ocaml.org/u/Yaron_Minsky)
#### Post date: [September 1, 2023, 6:15pm UTC](https://discuss.ocaml.org/t/oxidizing-ocaml-and-a-new-opam-switch/12942/1 "2023-09-01T18:15:16Z")

</div>

We just posted the thrilling conclusion to our blog trilogy on Oxidizing OCaml, which talks about some of the things we’ve been working on (and some of our space-age plans) around extending OCaml to support some of the same kinds of things that Rust lets you do, but in a distinctly OCaml-ish way.

Here are the posts:

- [Locality](https://blog.janestreet.com/oxidizing-ocaml-locality/)
- [Rust Style Ownership](https://blog.janestreet.com/oxidizing-ocaml-ownership/)
- [Data Race Freedom](https://blog.janestreet.com/oxidizing-ocaml-parallelism/)

Maybe more excitingly, you can play around with the version of our internal compiler that has the bits of this we’ve implemented thus far (mostly, the local/global stuff, but the beginnings of uniqueness as well) as well as our open-source libraries, via an [opam switch](https://github.com/janestreet/opam-repository/tree/with-extensions).

This is very much a bleeding-edge, unstable version. We use it internally for real work, but we refactor it mercilessly, and the language features are most definitely not stable. We hope one day to propose a lot of this upstream, but for now, it’s just a preview of some interesting experiments.

The thing I’m most excited about all of this is the prospect of data-race free OCaml. The ability to leverage the great work done by the Multicore team, but safely, is a prospect I’m very much looking forward to.

Also, a bunch of Jane Street compiler folk will be at ICFP next week. If you’re interested in learning more, that’s a good time to grab one of us.

y

---

_[View the full topic](https://discuss.ocaml.org/t/oxidizing-ocaml-and-a-new-opam-switch/12942)._
