Signatura (informática)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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