Work on the OCaml compiler itself: adding useful language features, fine-tuning the type system and improving the performance of the generated code.
No previous experience with OCaml or functional programming languages is required.
“As 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: ◦ Unboxed types ◦ Feedback-directed optimization ◦ Typed algebraic effects ◦ Design of IRs for inlining and optimization And we’re considering future work on: ◦ Modular implicits ◦ Macros and staging ◦ Rust-style ownership ◦ Supporting inductive families in the module system”