Signatura (informática)

La signatura o firma de un método o una función define su entrada y su salida. Incluye por lo menos el nombre de la función o método y el número de sus parámetros. En algunos lenguajes de programación, puede incluir el tipo que devuelve la función o el tipo de sus parámetros.

En el caso de un tipo de dato abstracto (TDA), se define signatura como los tipos que utiliza junto con los nombres y perfiles de las operaciones.

Por ejemplo, para especificar el TDA de los booleanos se utiliza la siguiente signatura:

1. tipos bool
2. operaciones
3. verdadero : bool
4. falso : bool
5. And : bool x bool -> bool
6. Or : bool x bool -> bool
7. Not : bool -> bool