On FaceBook's Thrift semantics, code generation, and OCaml · HackerTrans