Skip to Main Content
Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library
book

Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library

by Stefania Loredana Nita, Marius Mihailescu
June 2019
Intermediate to advanced content levelIntermediate to advanced
213 pages
3h 10m
English
Apress
Content preview from Haskell Quick Syntax Reference: A Pocket Guide to the Language, APIs, and Library
© Stefania Loredana Nita and Marius Mihailescu 2019
Stefania Loredana Nita and Marius MihailescuHaskell Quick Syntax Referencehttps://doi.org/10.1007/978-1-4842-4507-1_2

2. Static Typing

Stefania Loredana Nita1  and Marius Mihailescu1
(1)
Bucharest, Romania
 

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,1,2 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.

A type system is a set of rules used in a programming language to organize, build, and handle the types that ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Haskell Data Analysis cookbook

Haskell Data Analysis cookbook

Nishant Shukla

Publisher Resources

ISBN: 9781484245071Purchase LinkPublisher Website