Una función es un subprograma que recibe como argumentos o parámetros datos de un tipo numérico o no numérico (char, string, bolean u otros) y devuelve un resultado. Esta característica le diferencia de un procedimiento.

El pseudocódigo es el siguiente:

Nombre_función (argumento1,argumento2,...);

Los argumentos es lo que se conoce en Pascal como parámetros. Para poder calcular el valor o resultado de la función, todo lo que se necesita conocer es el valor o valores de los parámetros respectivos.

4.3.1 Funciones aritméticas o matemáticas 

4.3.2 Funciones definidas por el usuario

Además de las funciones predefinidas citadas anteriormente, es posible que el usuario pueda declarar sus propias funciones de igual modo que declara sus procedimientos.

Una función es un subprograma que devuelve un único resultado al programa o subprograma que le llamó. La sintaxis es muy similar a la de un procedimiento.

Function nombre (parámetros): tipo

(declaración de variables locales)

begin

            <cuerpo de la función>

            nombre de la función := valor de la función

end;

  Comparación entre funciones y procedimientos

En vez de la palabra procedure se debe utilizar la palabra function

Al igual que en los procedimientos, el nombre de una función es un identificador. Sin embargo, el nombre de la función se refiere a la posición de memoria que contiene el valor devuelto por la función.

La lista de los parámetros formales son los identificadores utilizados para recibir valores del programa.

El tipo de datos del resultado coincide con el tipo expresado en la cabecera de la función.

En el cuerpo de la función tiene que existir una sentencia de asignación como la siguiente:

Nombre_función := valor_función

La función sólo devuelve un valor, el procedimiento puede devolver cero, uno o varios valores.

El tipo de dato del resultado de la función debe estar indicado en la cabecera  y puede ser tipo char, integer, real o bolean.

Ejemplo:

Program Cubo;

Uses

  Wincrt;

Var

   Num,valor : integer;

Function  El_cubo (Numero: integer):integer;

Begin

   valor := Num*Num*Num;

End;

Begin

   Write ('Digite un número entero: ');

   Readln (Num);

   El_cubo(Num);

   Write ('El cubo de ',Num,' es ',valor);

End.