Para definir un tipo de
coma flotante es suficiente con definir cuantos dígitos se necesitan de este modo:
digits∞ Digitos
Si se desea también se puede definir el rango mínimo:
digits∞ Digitos range∞ Primero ..
Último
Esta capacidad es uno de los grandes beneficios de Ada sobre la mayoría de los lenguajes de programación en este respecto. Otros lenguajes, sólo proporcionan un tipo
float y otro
long float, y lo que la mayoría de los programadores hacen es:
- elegir float si no están interesados en la precisión
- de lo contrario, eligen long float, puesto que es lo mejor que pueden obtener.
En cualquiera de los dos casos, el programador no sabe cual es la precisión que obtiene.
En Ada, uno especifica la precisión necesitada y el compilador elige el tipo de coma flotante que cumple
al menos esa precisión. De este modo el requisito se cumple. Además, si la máquina tiene más de dos tipos de coma flotante, el compilador puede hacer uso de todos ellos.
Por supuesto, el programador también puede hacer uso de los tipos de coma flotante predefinidos que son
Float y posiblemente (si el compilador lo implementa)
Short_Float,
Short_Short_Float,
Long_Float y
Long_Long_Float.