Inference engines: 5 examples with TypeScript, Flow and Reason · HackerTrans