Algoritmos y Programación en Pascal

164 Capítulo 8. Procedimientos y funciones
En Pascal, es obligatorio indicar el tipo de los parámetros que pasan como
argumentos a los subprogramas. En el caso de una función, se debe indicar
además el tipo del resultado que se devuelve al programa principal o subprograma
que efectuó la llamada. 4
Hemos visto que la función TanGrados, que es una aplicación de IR en IR,
recibe un argumento real y devuelve un resultado también real.
Veamos otro ejemplo de una función para calcular el factorial de un número
entero positivo:
function Fac(n: integer): integer;
{Dev. n!}
var
i, prodAcum: integer;
begin
prodAcum:= 1;
for i:= 2 to n do
prodAcum:= prodAcum * i;
Fac:= prodAcum
end; {Fac}
Como podemos ver, la función Fac tiene un argumento entero y devuelve un
resultado también entero. Los sucesivos productos 2 ∗ 3 ∗ ... ∗ n se van almacenando
en la variable prodAcum tantas veces como indica el bucle for. Una vez
terminado, el valor del factorial presente en prodAcum se asigna al nombre de la
función reemplazando su llamada. Por ejemplo, la instrucción
WriteLn(Fac(4))
escribe el valor 24.
No es obligado que el(los) argumento(s) de una función sea(n) del mismo tipo
que su resultado. El siguiente ejemplo de función que determina si un número es
o no es primo recibe un argumento entero positivo y devuelve un valor booleano:
True si el número es primo y False en caso contrario.
function EsPrimo(n: integer): boolean;
{Dev. True si n es primo y False en caso contrario}
var
divisor: integer;
conDivisores: boolean;
4 En Pascal, el resultado de una función sólo puede ser un objeto simple. Sin embargo, esta
limitación se supera fácilmente (véase el apartado 8.6.3).