# Jane Street outlines applied programming languages research projects for OCaml

DevFeed: [Jane Street outlines applied programming languages research projects for OCaml](<https://devfeed.tech/articles/do-applied-programming-languages-research-at-jane-street-20154.md>)

Original publisher: [Read original article](<https://blog.janestreet.com/applied-PL-research/>)

Author: Leo White

Published: 2019-08-16T00:00:00Z

Content type: opinion

Language: en

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

Topics: [Programming](<https://devfeed.tech/topics/programming.md>), [OCaml](<https://devfeed.tech/topics/ocaml.md>), [Programming language](<https://devfeed.tech/topics/programming-language.md>), [Compiler](<https://devfeed.tech/topics/compiler.md>), [Optimization](<https://devfeed.tech/topics/optimization.md>)

Tags: [compilers](<https://devfeed.tech/tags/compilers.md>), [development](<https://devfeed.tech/tags/development.md>), [languages](<https://devfeed.tech/tags/languages.md>), [ocaml](<https://devfeed.tech/tags/ocaml.md>), [optimization](<https://devfeed.tech/tags/optimization.md>), [programming](<https://devfeed.tech/tags/programming.md>), [programming-languages](<https://devfeed.tech/tags/programming-languages.md>)

## AI overview

Jane Street's Tools & Compilers team describes current and potential research projects intended to improve OCaml, including unboxed types, feedback-directed optimization, typed algebraic effects, intermediate-representation design, modular implicits, macros and staging, Rust-style ownership, and inductive families in the module system. The post also invites programming languages research and development candidates to apply for compiler engineer roles.

## Source excerpt

As our Tools & Compilers team has grown, the kinds of projects we work on has become more ambitious. Here are some of the major things we're currently working on: