What is type signature?

A type signature is a formal declaration that specifies the types of inputs and outputs for a function or method in programming. It serves as a contract, indicating what types of arguments the function expects and what type it will return. Type signatures enhance code readability and help with type checking, enabling developers to catch errors early in the development process. They are commonly used in statically typed languages, such as Haskell and TypeScript.