Algoritmos y Programación en Pascal

3.7. El tipo de una expresión 43
3.7 El tipo de una expresión
El resultado de cada expresión tiene un tipo determinado, independiente
de su valor, y que puede conocerse aun ignorando los valores de sus elementos
componentes, teniendo en cuenta sólo sus tipos. Así por ejemplo, pueden
existir expresiones numéricas, bien enteras (como 2 + 3) o reales (como 3.14
* Sqr(2.5) por ejemplo), booleanas (como 2 + 2 = 5) y de caracteres (como
Succ(’a’)).
La información sobre el tipo de una expresión (y el de sus subexpresiones
componentes) juega en Pascal un importante papel: una vez escrito un programa,
el compilador comprueba que las expresiones que intervienen en él son
correctas sintácticamente y que los tipos de las componentes de las mismas son
consistentes. Por ejemplo, la expresión siguiente podría ser analizada así:
( (6 + 8) * 3.14 < Ord ( ’a’ ) ) or True
( (Z + Z) * R < Ord ( C ) ) or B
( Z * R < Z ) or B
( R < Z ) or B
B or B
B
aceptándose la comparación siguiente:
True = ((6 + 8) * 3.14 < Asc(’a’)) or False
y rechazándose en cambio esta otra:
3.8 Ejercicios
2 = ((6 + 8) * 3.14 < Asc(’a’)) or True
1. De las siguientes expresiones en Pascal, detecte las erróneas; en las que son correctas,
indique qué tipo deben tener los identificadores, y deduzca su tipo y su
valor resultante, si es posible.
(a) x = y (b) Odd(k) or Odd(Succ(k))
(c) p = True (d) 10 div 3 = 10 / 3
(e) p > Succ(p) (f) P = Q or R
(g) Odd(n * (n - 1)) (h) Ord(’b’) - Ord(’a’) > 0
2. Sea α un ángulo, dado en grados. Escriba una expresión en Pascal que halle:
(a) el número de vueltas completas que da,
(b) el ángulo entre 0 y 359 al que equivale,