Abstracción Funcional en Java

La abstracción funcional en Java se realiza en los métodos que se definen en las distintas clases de cada aplicación. Estando todo esto especialmente facilitado debido a que el mismo paradigma en el que esta basado este lenguaje implica ya por definición la abstracción en todos los sentidos posibles, es decir tanto en la de los propios tipos de datos creados por el programador como en las distintas funciones (métodos) que éste presente. Y a la vez el propio encapsulamiento que proporcionan las clases obliga de por si a que se realice la ocultación de información que también exige la abstracción.

Es para lograr la abstracción funcional en este lenguaje (como en el ejemplo de los TAD's) que se pueden sobrecargar los distintos métodos logrando así poder realizar una implementación de acorde con lo exigido por el problema a resolver y distintas implementaciones si es que el problema lo determina. A su vez pudiéndose hacer, debido a la obligatoriedad de la implementación de clases, lo que limita las llamadas a los distintos métodos de un objeto a las características del mismo; lo que también se puede lograr gracias a la herencia.

Con los diferentes modificadores que se le pueden asociar a los métodos se complementa lo anterior, incrementando la ocultación de su implementación (como con el private, protected...) y permitiendo a su vez crear las interfaces (como con public...), que es lo que si se quiere dejar ver al usuario.


En este lenguaje todo parámetro que se pasa a una función se realiza por valor-resultado haciéndose siempre una copia de los parámetros que se estén utilizando y al acabar la ejecución del método se modifica el valor del mismo si se ha modificado en el método que lo utilizo.