Production Haskell. Succeeding in Industry with Haskell

Table of Contents
Introduction
	An Opinionated Tour Guide
	About the Author
Acknowledgements
Principles
	Complexity
	Novelty
	Cohesion
	Empathy
	References
I Building Haskell Teams
	Selling Haskell
		Assessing Receptiveness
		Software Productivity
		Statistics of Productivity
		Know Your Competition
	Learning and Teaching Haskell
		The Philology of Haskell
		Programming Is Hard To Learn
		Pick Learning Materials
		Write Lots of Code
		Don\'t Fear the GHC
		Start Simple
		Solve Real Problems
		Pair Programming
		A Dialogue
		References
	Hiring Haskellers
		The Double-edged Sword
		Juniors and Seniors
		Hiring Seniors
		Hiring Juniors
	Evaluating Consultancies
		Identifying the Target
		Well-Typed
		FP Complete
II Application Structure
	The Beginning
		Abstraction for Mocking
		Forward Compatibility
		AppEnvironment
		The ReaderT Pattern
		Embed, don\'t Stack
	Three Layer Haskell Cake
		Layer 1: Imperative Programming
		Layer 2: Object Oriented Programming
		Layer 3: Functional Programming
		Examples
	Invert Your Mocks!
		Decomposing Effects
		Streaming Decomposition
		Plain ol\' abstraction
		Decompose!!!
		What if I need to?
	Project Preludes
		Prelude Problems
		Custom Benefits
		Off-The-Shelf Preludes
		Nesting Preludes
		Downsides
		Using a Custom Prelude
	Optimizing GHC Compile Times
		The Project.Types Megamodule
		Package Splitting
		Big Ol\' Instances Module
		TemplateHaskell
		Some random parting thoughts
III Domain Modeling
	Type Safety Back and Forth
		The Ripple Effect
		Ask Only What You Need
	Keep Your Types Small…
		Expansion and Restriction
		Constraints Liberate
		Restrict the Range
		A perfect fit
	The Trouble with Typed Errors
		Monolithic error types are bad
		Boilerplate be gone!
		Type Classes To The Rescue!
		The virtue of untyped errors
	Exceptions
		Exceptions In Five Minutes
		Best Practices
		Hierarchies
		Reinventing
		Asynchronous Exceptions
		The Theory
		HasCallStack
	EDSL Design
		Tricks with do
		Overloaded Literals
		Type Inference Trick
		Fluent Interfaces
		Case Study: Weightlifting Logging
		Case Study: rowdy
		Case Study: hspec
	Growing Pains
		A Taxonomy of Breaking Changes
		Avoiding Breaking Changes
		Communicating To Users
IV Interfacing the Real
	Testing
		Libraries and Tools
		Designing Code for Testing
	Logging and Observability
		On Debug.Trace
		Prefer do Notation
		Logging Contexts
		Libraries in Brief
	Databases
		Separate Database Types
		Migrations
		Access Patterns
		Conclusion
V Advanced Haskell
	Template Haskell Is Not Scary
		A Beginner Tutorial
		wait this isn\'t haskell what am i doing here
		Constructing an AST
		Boilerplate Be Gone!
	Basic Type Level Programming
		The Basic Types
		The Higher Kinds
		Dynamically Kinded Programming
		Data Kinds
		GADTs
		Vectors
		Type Families
		This Sucks
		Heterogeneous Lists
		Inductive Type Class Instances
		Extensible Records
		Like what you read?
	Family Values
		Type Families
		Open or Closed Type Families?
		The Bridge Between Worlds
		Data Families
		Conclusion
	Trade-offs in Type Programming
		MPTCs
		MPTCs + Fundeps
		Associated Types
		Comparisons
	Case Study: Prairie
		Problem Statement:
		Prior Art
		The GADT Approach
		Improvements?
		Symbols
		Compare and Constrast
		Identify the Issue
		Generalize a GADT
		Fundeps
		More Class Please
		Refining the Class
		Template Haskell
		Conclusion