Goodreads helps you keep track of books you want to read.

Start by marking “Типы в языках программирования” as Want to Read:

# Типы в языках программирования

by
,

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 applications in software engineering, language design, high-performance compilers, and
...more

Paperback, 656 pages

Published
September 9th 2011
by Lambda press & Dobrosvet
(first published 2002)

## Friend Reviews

To see what your friends thought of this book,
please sign up.

## Reader Q&A

To ask other readers questions about
Типы в языках программирования,
please sign up.

Be the first to ask a question about Типы в языках программирования

This book is not yet featured on Listopia.
Add this book to your favorite list »

## Community Reviews

Showing 1-30

Start your review of Типы в языках программирования

Jul 07, 2014
Zhi Han
rated it
it was amazing
·
review of another edition

Shelves:
programming,
favorites

One of my most unpleasant experience in grad school is when I has absolutely no idea what his peers are talking about. I frequently found myself in that situation during my years at CMU. Type theory is one of the topics. Why didn’t I just ask them? I did. My friend Oliver once gave me the perfect response: “I cannot afford to spend time on educating you.” In a world full of distractions and useless information, time is very valuable resource. If one wants to learn, he has to spend his own time

...more

...more

I'm glad I

*did*finally read it, even though there were parts that were glanced through without too much attention to detail and even though I skipped the exercises that are probably needed to get a more thorough understanding of the material. I read it mostly as a way to get a good overview of the ...more

May 17, 2007
Sam
marked it as to-read
·
review of another edition

Recommends it for:
Any programmer interested in writing their own programming language(s)

Perhaps the best book of its kind for the beginning/intermediate programmer interested in PLT (programming language theory). The book covers the simple untyped lambda calculus and builds on that foundation to many typed lambda calculi. Implementation chapters show the reader how to put the information to good use, providing executable code in the O'Caml language.

As a non-mathematician, programming hobbyist without formal experience or training, I've found this book particularly helpful in ...more

As a non-mathematician, programming hobbyist without formal experience or training, I've found this book particularly helpful in ...more

Don't attempt to read this book without at least a basic knowledge of doing proofs in math and higher-order logic. This should cover you: Language, Proof and Logic: Text and CD

As you work on implementing your own type systems, you'll find the detailed metatheory chapters worth revisiting.

*This review has been hidden because it contains spoilers. To view it, click here.*

One thing I've noticed is that people seem to get hung up over the notation and liberal ...more

Mar 17, 2014
Jyri-Matti Lähteenmäki
rated it
really liked it
·
review of another edition

Shelves:
dev

I doubt that I would have gotten total understanding even if I hade made the exercises, but still, I got a lot of understanding about type systems and the kind of things there are to consider.

Aug 28, 2008
Scott
rated it
it was amazing
·
review of another edition

Recommends it for:
computer scientists

An absolute necessity for anyone wanting to learn the theoretical underpinnings of programming languages.

Brian Goetz's favorite CS book - http://www.briangoetz.com/blog/?p=58

There are no discussion topics on this book yet.
Be the first to start one »