Book description
A comprehensive introduction to type systems and programming languages.
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systemsāand of programming languages from a type-theoretic perspectiveāhas importantā¦
- Coming soon!
- Coming soon!
Why read it?
1 author picked Types and Programming Languages as one of their favorite books. Why do they recommend it?
Having worked with an untyped functional language the next logical step is to add types on top, and how to get a better understanding than by implementing the type system yourself.
This book takes you through all the interesting kinds and variations of type systems, and you get to implement them yourself using one of my absolute favorite languages (OCaml).
From Christian's list on reads with your hands on the keyboard.
If you love Types and Programming Languages...
December on 5C4
Magical realism meets the magic of Christmas in this mix of Jewish, New Testament, and Santa storiesāall reenacted in an urban psychiatric hospital!
On locked ward 5C4, Josh, a patient with many similarities to Jesus, is hospitalized concurrently with Nick, a patient with many similarities to Santa. The two argueā¦
Want books like Types and Programming Languages?
Our community of 12,000+ authors has personally recommended 23 books like Types and Programming Languages.
Share your top 3 reads of 2025!
And get a beautiful page showing off your 3 favorite reads.
1,278
readers submitted
so far, will you?
š If you like Types and Programming Languages, you might also like...
The Bridge
The Bridge provides a compassionate and well researched window into the worlds of linear and circular thinking. A core pattern to the inner workings of these two thinking styles is revealed, and most importantly, insight into how to cross the distance between them. Some fascinating features emerged such as, circularā¦
And Then They Were Gone
Of the 918 Americans who died in the shocking murder-suicides of November 18, 1978, in the tiny South American country of Guyana, a third were under eighteen. More than half were in their twenties or younger.
The authors taught in a small high school in San Francisco where Reverend Jimā¦
