A type signature is a formal notation used in programming languages to specify the types of inputs and outputs for functions, helping to ensure type safety and predictability in code. It serves as a contract between the function and its callers, reducing runtime errors by catching type mismatches at compile time.