Advertisement

Type System

  • Igor Zhirkov
Chapter

Abstract

The notion of type is one of the key ones. A type is essentially a tag assigned to a data entity. Every data transformation is defined for specific data types, which ensures their correctness (you would not want to add the amount of active Reddit users to the average temperature at noon in Sahara, because it makes no sense).

Copyright information

© Igor Zhirkov 2017

Authors and Affiliations

  • Igor Zhirkov
    • 1
  1. 1.Saint PetersburgRussia

Personalised recommendations