4 ms·
Facebook's static analyzer Infer https://fbinfer.com https://fbinfer.com is written in OCaml. There's a lot of OCaml in the program verification space: https:/
by floatboth 7y ago
Facebook's static analyzer Infer https://fbinfer.com https://fbinfer.com is written in OCaml.
There's a lot of OCaml in the program verification space: https://frama-c.com https://frama-c.com http://why3.lri.fr http://why3.lri.fr https://alt-ergo.ocamlpro.com https://alt-ergo.ocamlpro.com
And for mysterious reasons, OCaml is now kinda popular for.. web frontends. Bloomberg created an OCaml-to-JS compiler https://bucklescript.github.io https://bucklescript.github.io and Facebook (again!) created an alternative syntax https://reasonml.github.io https://reasonml.github.io and this combination is apparently a new hipster way of writing web apps.