Abstracción Funcional en Pascal

La abstracción consiste en la capacidad de examinar algo sin preocuparse de los detalles internos. En Pascal está presente la abstracción de datos, las estructuras de datos y los tipos de datos son un ejemplo de abstracción. Los procedimientos y las funciones son otro ejemplo. Pascal soporta sus propios tipos abstractos de datos (TAD), para su implementación es fundamental disponer de mecanismos que permitan encapsular el tipo de dato y sus operaciones, y ocultar la información al programador-usuario.

Entre los mecanismos con los que se puede conseguir la abstracción funcional en este lenguaje es mediante la implementación de unidades (Units) ; Las cuales son grupos de funciones o procedimientos compilados que pueden ser llamados y utilizados desde cualquier programa en Turbo Pascal sin necesidad de escribirlos de nuevo. Las unidades no son ejecutables por si solas, dependen del programa que las llama para poder realizar su función.

El mecanismo por excelencia de la abstracción funcional es la implementación de una aplicación mediante el uso de módulos, pudiendo definirse como una función o procedimiento. En este lenguaje en concreto el paso de parámetros a los mismos puede ser por valor o referencia. Para identificar que un parámetro se pasa por valor se le debe anteponer var.