Advertisement

Static Typing

  • Stefania Loredana Nita
  • Marius Mihailescu
Chapter

Abstract

In Haskell, the type system is quite detailed. From a theoretical point of view, it comes from typed Lambda calculus, introduced in 1930 by Alfonso Church,, where the types are automatically deducted from the way the objects are processed. Such programming languages are statically typed. More precisely, the processing is enforced by and based on the rules of a mathematical type system.

Copyright information

© Stefania Loredana Nita and Marius Mihailescu 2019

Authors and Affiliations

  • Stefania Loredana Nita
    • 1
  • Marius Mihailescu
    • 1
  1. 1.BucharestRomania

Personalised recommendations