3 ms·
Why OCaml
- yawaramin 6y agoA lot of this talk was more 'What is OCaml' than 'Why OCaml', but here are the parts where he talked about the 'Why': - Jane Street is in a business where, because of the sheer volume, even the tail ends of normally distributed events happen with surprising frequency, so they don't feel confident deploying with just tests--they need the universal assurance that a typechecker gives - The transactions they are involved in can be adversarial--someone actively working against their profit motive--so they need extra assurances about their code - They got to hire some incredibly talented people who would otherwise have never considered Jane Street but for the choice of OCaml