[{"_1":2,"_64":-5,"_65":-5},"loaderData",{"_3":4,"_33":34,"_62":-5,"_63":-5},"root",{"_5":-5,"_6":-5,"_7":8,"_20":-5,"_21":22,"_23":24,"_27":28},"user","shoppingCartId","shoppingCart",{"_9":10,"_11":12,"_13":14,"_15":16,"_17":18,"_19":12},"count",0,"free",true,"updatedAt","2025-12-28T14:59:44.452Z","paymentGateway","STRIPE","cartItems",[],"loading","toast","locale","en","constants",{"_25":26},"paypalClientId","AX53Cwz8jR6rVVzzZiZNWWXl0dGagi-GZrjG-S3Ua14E5nrKMn7DxDQ730O4R8LusLPp49ALn6aRVaEy","publishers",{"_29":30,"_31":32},"companies",[],"universities",[],"routes/_store+/_readers+/email_author.$slug/route",{"_35":36,"_61":-5},"book",{"_37":38,"_39":40,"_41":42,"_43":44,"_45":46,"_47":48},"id","Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6Qm9va1Byb2R1Y3QvMjYwMzY","title","Types for the Eager Language Learner","state","unpublished","contactAuthorMethod","email","aboutText","

This book takes you, the reader, through the jungle of types. We will investigate various type constructions and see how they look in different programming languages. You will learn the type-lingo and be able to sound super smart whe talking about programming.

This book is not a formal introduction. This means that you will no have to read pages up and down of weird unusual syntax, get stomach aches for not understandig anything, or having to pronounce Greek letters.

What we instead do, is to discuss the things in plain english. We will look at programming languages you already know, and see where these type constructions occur. When you have a solid understanding of the type constructions, we will see how learning new languages will become much faster.

In this book we assume that the reader is familiar with Java or JavaScript. We will also elaborate on the constructions in plain english, and see where they exist in natural languages.

","authors",[49],{"_37":50,"_51":52,"_5":53},"Z2lkOi8vbGVhbnB1Yi9TdG9yZTo6UHJvZHVjdEF1dGhvci8yNzA4Mg","name","Mads Buch",{"_54":55},"avatar",{"_56":57,"_58":59,"_60":12},"url","https://d39qdlcrvnra4b.cloudfront.net/avatars/750273/medium/profile.jpg?1465638293","styleName","medium","exists","currentUser","routes/_store+/_layout","routes/_store+/_readers+/_layout","actionData","errors"]

Email the Author