Abstracción Funcional

Las funciones se invocan para realizar una tarea, pero sin necesidad de saber cómo la llevan a cabo.
Una función es un subprograma con un nombre determinado, que realiza una tarea específica cuando es invocado y opcionalmente devuelve un resultado.
Las funciones usan una lista de parámetros que define:

• Los datos que el llamante de la función pasa a la misma.
  
• Los datos que la función devuelve al llamante (excepto el resultado).
  

Las funciones se utilizan como elemento de abstracción porque su comportamiento puede ser separado de su implementación.
La abstracción funcional está estrechamente ligada a las técnicas de diseño funcional descendente y a la programación estructurada.
La abstracción funcional permite llevar a cabo el concepto de modularidad:

• Una función agrupa a un conjunto de instrucciones altamente cohesionadas.
  
• Una función realiza una tarea específica.
  
• Para usar una función no es necesario conocer su implementación.
  

Las funciones similares se agrupan en bibliotecas (clases en Java).
Los lenguajes de programación suelen proporcionarse con un conjunto estándar de bibliotecas en las que se definen funciones de uso común.