programacion

Definición de un subprograma

La definición de un subprograma consta de tres elementos: (1) cabecera, donde se fija su clase y nombre, se describen sus parámetros formales y, si es una función, se especifica el tipo de su resultado, terminando todo ello con la palabra "is", expresando que a continuación se desarrolla el subprograma, (2) declaraciones locales, de cualquier elementodeclarable (tipos, variables, constantes, ...), incluyendo la definición anidada de otros subprogramas y (3) el bloque de sentencias ejecutables del subprograma delimitado por las palabras reservadas "begin" y "end" (esta última suele ir acompañada del nombre del subprograma). Si el subprograma es una función, entre las sentencias ejecutables debe incluirse al menos una sentencia de retorno ("return")con una expresión que indique el valor a devolver a quien la llamó; si la ejecución de una función alcanza el final sin encontrar una sentencia de retorno, se produce una excepción "Program_Error", dado que la sentencia de retorno se utiliza en las funciones para especificar el valor a devolver.

Un subprograma es un procedimiento o una función. La diferencia entre un procedimiento yuna función es que el primero sólo indica la ejecución de una secuencia de instrucciones, en función de unos parámetros, mientras que la segunda representa un valor que se genera como resultado de su ejecución. Se pueden usar funciones para sobrecargar los operadores del lenguaje, otorgándoles nuevos significados.

Clasificación de los subprogramas
Los subprogramas se clasifican en procedimientos yfunciones, los cuales se definen como unidades de programas diseñados para ejecutar una tarea específica.
Las funciones y los procedimientos son conjuntos de instrucciones que realizar una tarea en particular y permiten crear programas complejos, mediante un reparto de tareas que permite construir el programa de forma estructurada y modular.

Desde un punto de vista académico, se entiende porprocedimiento el conjunto de sentencias a las que se asocia un identificador (un nombre), y que realiza una tarea que se conoce por los cambios que ejerce sobre el conjunto de variables.
Y entendemos por función el conjunto de sentencias a las que se asocia un identificador (un nombre) y que genera un valor nuevo, calculado a partir de los argumentos que recibe.

Los elementos que componen unprocedimiento o función son:

1. Un identificador, que es el nombre que sirve para invocar a esa función o a ese procedimiento.

2. Una lista de parámetros, que es el conjunto de variables que se facilitan al procedimiento o función para que realice su tarea modularizada. Al hacer la abstracción del sistema, y modularlo en partes más accesibles, hay que especificar los parámetros formales que permiten lacomunicación y definen el dominio (tipo de dato) de los datos de entrada. Esa lista de parámetros define el modo en que podrán comunicarse el programa que utiliza la función y la función usada.

3. Un cuerpo o conjunto de sentencias. Las necesarias para poder realizar la tarea para la que ha sido definida la función o el procedimiento. Dentro de las sentencias también se encuentran lasdeclaraciones de variables locales.

4. Un entorno. Entendemos por entorno el conjunto de variables globales al procedimiento o función, que pueden ser usadas y modificadas dentro del ámbito de la función. Esas variables, por ser globales y por tanto definidas en un ámbito más amplio al ámbito local de la función, no necesitan ser explicitadas en la lista de parámetros de la función.

Es una prácticadesaconsejable trabajar con el entorno de la función desde el ámbito local de la función. Hacerlo lleva consigo que esa función deja de ser independiente de ese entorno y, por tanto, deja de ser exportable. Perderíamos entonces el valor de la independencia funcional, que es una de las propiedades de la programación por módulos.

Podemos pues concluir que el uso de variables globales dentro del cuerpo...