Cómo declarar variables.

            Una declaración de variables se realiza de forma sencilla. Bastará con escribir un nombre, que debe empezar por letra y puede ir seguido por tantos números, letras o “_” como se desee. A continuación se escribe “:” y seguidamente el nombre de un tipo.

            Esta operación se puede repetir tantas veces como se desee.

Para declarar más de una variable del mismo tipo se puede hacer de una vez escribiendo tras el nombre de la primera variable una coma “,” y volviendo a escribir otro nombre. De este modo podemos definir tantas como queramos, pero todas van a ser del mismo tipo.

            Cuando se escribe el nombre de una variable, éste tiene que ser nuevo, es decir, no se va a permitir dos variables con el mismo nombre dentro de un mismo Tad.

            Además debemos tener en cuenta que los tipos que empleemos para las variables han de ser tipos definidos previamente ya sean simples o instanciados. Éstos pueden ser cualesquiera de la lista de genéricos, el propio tipo que se está definiendo o alguno de los usados por alguna de las funciones. No se podrá hacer uso de ningún otro tipo.

            Veamos un ejemplo:

            a,b,c: Natural

            e: Elemento

            d: Lista