I've been using reasonml lately and absolutely love it, I've been coding a non trivial application, and there is essentially no type annotations (which makes re

I've been using reasonml lately and absolutely love it, I've been coding a non trivial application, and there is essentially no type annotations (which makes refactoring very easy). So I find it super weird when I read typescript code because there are complexe type annotations with nested generics all over the place. Is it just that typescript needs these annotations whereas ocaml does not ? Or it's just best practices that recommend still using them explicitly ?