# Oxidizing OCaml: Locality

DevFeed: [Oxidizing OCaml: Locality](<https://devfeed.tech/articles/oxidizing-ocaml-locality-20200.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/oxidizing-ocaml-locality/>)

Author: Max Slater

Published: 2023-05-26T00:00:00Z

Content type: article

Language: en

Sources: [Jane Street](<https://devfeed.tech/sources/jane-street.md>)

Topics: [OCaml](<https://devfeed.tech/topics/ocaml.md>), [Rust](<https://devfeed.tech/topics/rust.md>), [Compiler](<https://devfeed.tech/topics/compiler.md>), [Concurrency](<https://devfeed.tech/topics/concurrency.md>)

Tags: [compiler](<https://devfeed.tech/tags/compiler.md>), [concurrency](<https://devfeed.tech/tags/concurrency.md>), [data-structures](<https://devfeed.tech/tags/data-structures.md>), [memory](<https://devfeed.tech/tags/memory.md>), [ocaml](<https://devfeed.tech/tags/ocaml.md>), [performance](<https://devfeed.tech/tags/performance.md>), [rust](<https://devfeed.tech/tags/rust.md>)

## AI overview

Jane Street describes extending OCaml with a system of modes that tracks properties such as locality and uniqueness. The goal is to support stack allocation, safer resource management, lower-allocation code, and statically guaranteed data-race freedom while preserving OCaml's convenience.

## Source excerpt

OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.