Basic Types

  • Iain D. Craig


The purpose of this chapter is to introduce and describe a number of types which are indispensable to programming. Without these types, real programming is impossible. These types are referred to as ‘basic’ for this reason. Some of the types have atomic values; such values cannot be broken down. For example, a boolean value cannot be broken down into anything simpler; similarly, an integer cannot be decomposed into simpler entities (it could be represented as a bit string, but this is a change of representation and can be viewed as a change of type). Vectors, strings and lists, on the other hand, contain component values of other types; sometimes the components are of the same type (e.g. a list of lists), sometimes not (e.g. a vector of integers).


Basic Type Canonical Representation Numeric Type Comparison Operation Usual Interpretation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ada is a registered trademark of the US Department of Defense.Google Scholar

Copyright information

© Springer-Verlag London Limited 1997

Authors and Affiliations

  • Iain D. Craig
    • 1
  1. 1.Department of Computer ScienceUniversity of WarwickCoventryUK

Personalised recommendations