It is better to have types inferred rather than explicitly mentionedStatic Typing NotionStructural TypingNominal TypingHindley Milner Type SystemOpaque TypeTagged Unions