Skip to content
Hallway
0:00 / 0:00

#hack#ocaml#typechecker

LDN Functionals #7 Josh Watzman from Facebook: Parallelising Facebook's Hack Typechecker

Functional Works

462 subscribers • 2 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Josh Watzman, Software Engineer at Facebook

Advanced. Deep dive for people who know the field.

1.5K views10 years ago2 recommendations

Systems programmingProgramming languagesOCaml and F#Compilers and interpretersConcurrency and parallelism

Josh Watzman explains how Facebook parallelized the Hack typechecker, which is written in OCaml, without using multicore OCaml.

Josh Watzman, Software Engineer at Facebook, gives a talk on Parallelising Facebook's Hack Typechecker, which is written in OCaml - Multicore without Multicore

Why it's here

2 people recommend this

What people say. Recommended as a great case study of parallelizing a large-scale compiler and typechecker written in OCaml.

u/gallaisin r/ocaml • Recommends

Josh Watzman from Facebook: Parallelising Facebook's Hack Typechecker
17View on Reddit

u/laylomo2in r/ocaml • Recommends

On “How come Ocaml isn't more popular?”

There's also a talk about it link to this video
5View on Reddit