Comment by thekillerdev

  Why don’t we have to write types in ReasonML? Because of the powerful type system that allows for incredible type inference.

wat? https://www.typescriptlang.org/docs/handbook/type-inference....