Thinking with Types
Thinking with Types
Type-Level Programming in Haskell
About the Book
About the Author
Table of Contents
Preface
Acknowledgments
Introduction
I Fundamentals
1 - The Algebra Behind Types
1.1 - Isomorphisms and Cardinalities
1.2 - Sum, Product and Exponential Types
1.3 - Example: Tic-Tac-Toe
1.4 - The Curry--Howard Isomorphism
1.5 - Canonical Representations
2 - Terms, Types and Kinds
2.1 - The Kind System
2.1.1 - The Kind of "Types"
2.1.2 - Arrow Kinds
2.1.3 - Constraint Kinds
2.2 - Data Kinds
2.3 - Promotion of Built-In Types
2.3.1 - Symbols
2.3.2 - Natural Numbers
2.3.3 - Lists
2.3.4 - Tuples
2.4 - Type-Level Functions
3 - Variance
II Lifting Restrictions
4 - Working with Types
4.1 - Type Scoping
4.2 - Type Applications
4.3 - Ambiguous Types and Non-Injectivity
5 - Constraints and GADTs
5.1 - Introduction
5.2 - GADTs
5.3 - Heterogeneous Lists
6 - Rank-N Types
6.1 - Introduction
6.2 - Ranks
6.3 - The Nitty Gritty Details
6.4 - The Continuation Monad
7 - Existential Types
7.1 - Existential Types and Eliminators
7.1.1 - Dynamic Types
7.1.2 - Generalized Constraint Kinded Existentials
7.2 - Scoping Information with Existentials
8 - Roles
8.1 - Coercions
8.2 - Roles
III Computing at the Type-Level
9 - Associated Type Families
9.1 - Building Types from a Schema
9.2 - Generating Associated Terms
10 - First Class Families
10.1 - Defunctionalization
10.2 - Type-Level Defunctionalization
10.3 - Working with First Class Families
10.4 - Ad-Hoc Polymorphism
11 - Extensible Data
11.1 - Introduction
11.2 - Open Sums
11.3 - Open Products
11.4 - Overloaded Labels
12 - Custom Type Errors
13 - Generics
13.1 - Generic Representations
13.2 - Deriving Structural Polymorphism
13.3 - Using Generic Metadata
13.4 - Performance
13.5 - Kan Extensions
14 - Indexed Monads
14.1 - Definition and Necessary Machinery
14.2 - Linear Allocations
15 - Dependent Types
15.1 - Overview
15.2 - Ad-Hoc Implementation
15.3 - Generalized Machinery
15.4 - The Singletons Package
15.5 - Dependent Pairs
15.5.1 - Structured Logging
IV Appendices
Glossary
Solutions
Bibliography
About the Author
Authors have earned$9,707,925writing, publishing and selling on Leanpub, earning 80% royalties while saving up to 25 million pounds of CO2 and up to 46,000 trees.
Learn more about writing on Leanpub
The Leanpub 45-day 100% Happiness Guarantee
Within 45 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
See full terms
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers), EPUB (for phones and tablets) and MOBI (for Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Top Books
- #1
Ansible for Kubernetes
Jeff GeerlingAnsible is a powerful infrastructure automation tool. Kubernetes is a powerful application deployment platform. Learn how to use these tools to automate massively-scalable, highly-available infrastructure.
- #2
Functional Design and Architecture
Alexander GraninSoftware Design in Functional Programming, Design Patterns and Practices, Methodologies and Application Architectures. How to build real software in Haskell with less efforts and low risks. The first complete source of knowledge.
- #3
Production Haskell
Matt ParsonsAre you excited about Haskell, but don't know where to begin? Are you thrilled by the technical advantages, but worried about the unknown pitfalls? This book has you covered.
- #4
Ansible for DevOps
Jeff GeerlingAnsible is a simple, but powerful, server and configuration management tool. Learn to use Ansible effectively, whether you manage one server—or thousands.
- #5
Tame your Work Flow
Steve Tendon and Daniel DoironDo you need a high performance enterprise governance approach improving management, execution and delivery while dealing with multiple projects/products, events, stakeholders and teams? Giving you better bottom line results, faster time to market, less work, better predictability, happier employees, and delighted clients? Then learn about TameFlow!
- #6
Practical FP in Scala: A hands-on approach
Gabriel VolpeA practical book aimed for those familiar with functional programming in Scala who are yet not confident about architecting an application from scratch.
Together, we will develop a purely functional application using the best libraries in the Cats ecosystem, while learning about design patterns and best practices.
- #7
Composing Software
Eric ElliottAll software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It's time for that to change.
- #8
Algebra-Driven Design
Sandy MaguireA how-to field guide on building leak-free abstractions and algebraically designing real-world applications.
- #9
Invest In Digital Health - The Medical Futurist's Guide
Dr. Bertalan MeskoArtificial Intelligence and Digital Health are booming. In this book, we explain why now it's a good time to invest in Digital Health and give recommendations on where to invest by looking at the top 24 technological trends we find the most promising.
- #10
The Hundred-Page Machine Learning Book
Andriy BurkovEverything you really need to know in Machine Learning in a hundred pages.
Top Bundles
- #1
The Tester's Library
8 Books
The Tester's Library consists of eight five-star books that every software tester should read and re-read. As bound books, this collection would cost over $200. Even as e-books, their price would exceed $80, but in this bundle, their cost is only $49.99. Here are the books, and why they should be in your library: Perfect Software and Other... - #2
agile
11 Books
In this bundle, you will find 10 different agile books. They are about different aspects of being agile. - finding a job - doing coding dojo's - Retrospectives - Personal kanban - a non-typical coaching book and even a book that gives you an insight in the lives of some agile people. - #3
WTFlop 6M + HU - Beta Bundle
6 Books
- #4
Marionette.js A to Z
3 Books
Marionette.js has become a popular Backbone-based javascript library, because it helps you avoid boiler-plate code and focus on what makes your app special. But how do you get started?Whether you want to finally get started with dynamic client-side programming (like one reader did), or are an experienced front-end dev who has inherited a... - #5
Build A Better Backbone App
3 Books
The best way to learn new development skills is through experience, but that takes time you don't have.Get the best of both worlds with this bundle: you'll learn how to produce modern web applications by learning from experienced developers like Derick Bailey and David Sulc. BackboneJS is one of the favorite tools on the web today, but it... - #6
General Systems Thinker Bundle
5 Books
The General Systems Thinker Bundle is just that: a bundle of five books to advance the reader one giant step toward improved thinking, based on General Systems principles. Four of the books are the complete General Systems Series. The fifth is fictional piece which shows some general systems thinkers in action. It's a mystery in which a group of... - #7
Experiential Learning Bundle
4 Books
This bundle provides all four volumes of the popular Experiential Learning Series at a savings of $20 over the price if purchased separately. - #8
Ansible Bundle
2 Books
After getting up and running with Ansible in Jeff Geerling's Ansible for DevOps, strengthen your skills managing tens to thousands of instances and services in Amazon's AWS cloud with Yan Kurniawan's Ansible for AWS. - #9
Learn ECMAScript 6 inside and out
2 Books
For any technology, it helps to get multiple points of view on the functionality to get the best possible understanding. For ECMAScript 6/2015, no two resources are recommended more frequently thanExploring ES6by Dr. Axel Rauschmayer andUnderstanding ECMAScript 6by Nicholas C. Zakas. These two points of view, investigating the specification and... - #10
NetBeans Platform Starter Kit
2 Books
In this bundle, you get a complete introduction to the NetBeans Platform APIs, together with many exercises, in the form of "NetBeans Platform for Beginners". This book is done and has been reviewed and is over 350 pages in length. It will continue to grow as more content is added over time. There will be monthly updates, with new sections,...
