9. There are several different approaches for determining

 the type of a variable, including type inference (e.g., Haskell),

 explicit type declarations (e.g., Java), and dynamic typing

 (e.g., PHP). Compare type inference and the other two approaches

 and describe its advantages and disadvantages.