ReasonML and TypeScript: Comparing Their Type Systems

This is not a comparison of theory or attributes, just a comparison of syntax, so don't go looking for any type theory