TIPADO ESTATICO

nos obliga a definir desde el principio el tipo de una variable.

TIPADO DINAMICO

nos da la facilidad de no definir los tipos al declarar una variable.

OBSERVACIONES

-> Observaciones <- 

TIPADO

	- Son de tipado dinamico las variables usadas en el lenguaje OZ

ASIGNACION

	- No son mutables, una vez que adquieren un valor, dicho valor no puede
		ser cambiado

	- Si sabemos que A = 5 y B = 4, al hacer 5*4 es lo mismo que A*B

  - Es lo mismo hacer A = 5, que hacer 5 = A.

  - El valor no puede ser repetido, ejemplo A = 5, B = 5

DECLARACION

  - Global: no es recomendado usarlas, en OZ se usa la palabra reservada
            declare para usar este tipo de variables.
  
  - Local: se usa la palabra reservada local, para declarar una variable
           de este tipo.

NOMBRES

	- No escribir los nombres de las variables con las primeras letras en minuscula,
    siempre deben estar en mayuscula.

VARIABLE LIGADA A UN VALOR (BINDING)

Cuando la variable tiene un valor asociado (ligada a ese valor).
Asignarle un valor a una variable.

VARIABLE LIGADA A OTRA (VARIABLE BINDING

Cuando una variable esta ligada a otra variable.

VARIABLE NO LIGADA

Cuando la variable no tiene un valor asociado (no ligada a ningun valor),
es decir, no inicializada por asi decirlo.