Inference engines: 5 examples with TypeScript, Flow and Reason | Dark Hacker News